TeX source:
5x - y = -13