TeX Quellcode:

a_n \neq 0