TeX source:
x-7=0