Fuente TeX:
\scriptstyle{CONS(\Gamma_3)}