Źródło TeX:

\overline{4,6,7};