Źródło TeX:

\overline {7,22}