TeX source:
\vdash \phi \wedge \chi \to \phi