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