Fuente TeX:
\forall y\in Y