Fuente TeX:
a\neq 0