Źródło TeX:

\overline {3,5}