TeX source:
0. \overline{3}=0.333 \ldots