Fuente TeX:
( \exists a,b \in |M| )