Fuente TeX:
\{ M : MĀ \modelsĀ \Gamma \} = Mod(\Gamma)