TeX source:
x -3 = 0