TeX source:
2.3 \overline{18}