TeX source:
a=−7