Fuente TeX:

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