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