TeX source:
\ a_n\neq0