TeX source:

a_1=20