TeX source:
0. \overline{3}