TeX source:
5 x-y=-13