Fuente TeX:
\vDash p_0 \lor \neg p_0