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