TeX source:
x_1 = 0 \neq 1