TeX Quellcode:

\neg\neg{p}\Leftrightarrow{p}