Fuente TeX:
p_0 \lor \neg p_0