Fuente TeX:
\Gamma \not \vDash \alpha \text{ y } \Gamma \not \vDash \beta