TeX Quellcode:

a_n\neq 0