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