TeX source:
a_2=3