Fuente TeX:
\not\vDash p_0 \text{ y } \not\vDash \neg p_0