Fuente TeX:

\Gamma \vdash \varphi \Leftrightarrow \bar{\exists} d \in Der. C(d) = \varphi\,\,y\,\, H(d) \subseteq \Gamma