Fuente TeX:
\Gamma \not\vdash \bot