TeX source:
x ≠ 2