TeX source:
a= - 9