TeX source:
\Gamma \vdash \psi