TeX source:
x - 2