Fuente TeX:
\alpha \lor \lnot \alpha