Fuente TeX:
\Gamma \vDash \alpha \lor \beta