Fuente TeX:
\Gamma \subseteq PROP