Źródło TeX:

\overline {4,17}