TeX source:
x = -4+17y