Fuente TeX:
\neg(\neg \alpha \lor \beta)