Fuente TeX:
\vdash (\forall x) (\neg \neg P(x) \to P(x))