TeX source:
x+2y=13