Source TeX:

x \ne 2