Źródło TeX:
\overline {9,14}