TeX source:
1!=1