Źródło TeX:
\overline {4,6,7}