Source TeX:
f(x) \not= 1