TeX source:
x-1 = 0