Fuente TeX:

\scriptstyle{\Gamma_3 \subseteq CONS(\Gamma_3)}