Źródło TeX:

\overline {10,18,23}