Description: Define existential quantification. E. x ph means "there exists at least one set x such that ph is true". Dual of alex . See also the dual pair alnex / exnal . Definition of Margaris p. 49. (Contributed by NM, 10-Jan-1993)