TeX source:
-6/\overline{+42}