TeX source:
x + 4