Source TeX:

x_1 \not= x_2