Fuente TeX:

P(x) \forall x \in \Delta \Rightarrow  \exists X