TeX Quellcode:

a\neq 0