Source TeX:
x-2 \ne 0