Źródło TeX:

\overline{10,11,12}