TeX source:
x+y = 7