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