Fuente TeX:
\bot \in PROP