Fuente TeX:
\nexists x\in Dom(f)/f(x)=0