TeX source:
a=7