TeX source:
-32