Fuente TeX:

\vdash (\forall x)(\forall y)x =' y \rightarrow \neg (\exists x)(\exists y)(P(x) \land \neg P(y))