TeX source:
a =0