Fuente TeX:
\forall d' \epsilon D \neg estaDefinida(d',r)