TeX source:
-54