Source TeX:

x\neq 3