U+2203 • logic
The existential quantifier symbol (∃) used in logic and mathematics to express "there exists" at least one element in a domain satisfying a given property. It introduces statements asserting the existence of such an element within a specified set.
The Symbol For There Exists (∃) is a unicode character in the Basic Multilingual Plane Plane. It is found in the Mathematical Operators block and was approved as part of Unicode Version 1.1 in 1993
logicmathematicssymbolquantifierexistentialthere-existspredicateformalnotationstatementCopy the There Exists dymbol to your clipboard to use on Twitter, Instagram, Discord and more in one click.
∃ Click to copy