TeX source:
5x + 7y = -11