Fuente TeX:
\exists a \in |M|