Fuente TeX:

f(\alpha) \vdash \lnot \alpha \Rightarrow f(\alpha) \vDash \lnot \alpha