Fuente TeX:

\scriptstyle{CONS(\Gamma_3)}