TeX source:
x-2=0