Existe

Significa «hay al menos uno». ∃x (x > 5) se lee «existe un x tal que x es mayor que 5». Se llama cuantificador existencial: un cuantificador indica cuántos valores de una variable abarca una afirmación, y ∃ abarca al menos uno. No promete que sea uno solo ni dice cuál; para demostrar una afirmación con ∃ basta un ejemplo.

El orden importa cuando ∃ se junta con ∀. ∀x ∃y (y > x) dice que cada número tiene otro mayor, y es cierto; ∃y ∀x (y > x) dice que un número es mayor que todos, y es falso. La negación los intercambia: «no todo x cumple P» equivale a «∃x que no cumple P».

¿Por qué es una E al revés?

La E viene de «existir», girada para marcarla como símbolo. El matemático italiano Giuseppe Peano imprimió la E invertida en 1897 para decir que una clase (una colección) tiene al menos un elemento. Bertrand Russell la usó después como cuantificador sobre una variable, como en las fórmulas actuales. La A girada de ∀ llegó en 1935, creada por Gerhard Gentzen por analogía con ∃.

Los estudiantes también usan ∃ en apuntes y chats como abreviatura de «hay», por ejemplo «∃ un error en el paso 3». Entre quienes saben matemáticas suena compacto y algo friki; a los demás les parece una E al revés suelta.