TeX source:

1.\overline{3}