TeX Quellcode:

a_3\neq 0