TeX source:
0!=1