TeX source:
x+y=5