TeX source:
x-3=2