TeX source:
0 = 1