Źródło TeX:

\overline {13}