TeX Quellcode:
a_1\neq 0