Fuente TeX:
\not\vDash \alpha \leftrightarrow \lnot f(\alpha)