Fuente TeX:

\displaystyle \alpha \text{,}\neg \beta \vDash \neg \gamma