Источник TeX:

a_n\neq0