TeX source:
a_n=a_2