TeX source:
a_3=0