TeX source:
x-5=0