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