Fuente TeX:

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