TeX Quellcode:
a_2\neq 0