Fuente TeX:

Mod(\Delta) = \{ M : M \models \Delta \}