TeX source:

a_n=32