TeX source:
a_1=0