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