Source TeX:
x - 1 = 0