TeX source:
-5x+10y < 35