Fuente TeX:

\ldots \vdash (\exists x) P(x) \to (\forall y) P(y)