TeX source:
x-3=0