Source TeX:
x-5\ne 0