Source TeX:
x-6\ne 0