TeX source:
-8/ 3