Parentesis

En lógica y en matemáticas, se usa el símbolo ∃, llamado cuantificador existencial, antepuesto a una variable para decir que "existe" al menos un elemento del conjunto al que hace referencia la variable.
Normalmente, en lógica, el conjunto al que se hace referencia es el universo o dominio de referencia, que está formado por todas las constantes.