Źródło TeX:
\overline {3,15}