TeX source:
-7