Fuente TeX:

(\forall x) (\exists x) P(x) \text{ eq } (\exists x) P(x)