TeX source:
5 a =-10