Fuente TeX:
\vdash \lnot \bot