TeX source:
x=-6y-7