TeX source:
x + y = 500