Source TeX:
0!=1