TeX source:

a_n\neq 0