Fuente TeX:
R \equiv \exists x\ A(x)