Fuente TeX:
\vDash (\beta \rightarrow \gamma) \lor \neg \gamma