TeX source:
x=7-2 y