Źródło TeX:

\overline {8,9,10,12}