Źródło TeX:

\overline {1,3}