TeX source:

a_n \neq 0