TeX source:
-3 x+y=11