TeX source:
5x-y+1