Fuente TeX:

( \forall a,b \in |M|)