TeX source:
x+2 y=80