Fuente TeX:
\vdash cualquierCosa \to \lnot\bot