TeX source:
-1=0