Fuente TeX:
\Gamma \vdash_c \phi \Rightarrow \Gamma \vdash_i \phi^F