TeX source:
x - 1