Fuente TeX:
\Gamma \subseteq Th(Mod( \Gamma))