Fuente TeX:
y\neq 0