TeX source:
x - 1 = 0