TeX source:
-42