TeX source:
-4x-7y>-1