TeX source:
b=-1-7 a