Źródło TeX:

\overline {8,25}