Fuente TeX:
z\in Z,\ \exists x\in X