TeX source:
x - 7 = 0