U+2204 • logic
The negated existential quantifier symbol (∄) indicating "there does not exist" any element in a domain satisfying a given property. It is used in logic and mathematics to assert the non-existence of elements meeting certain conditions.
The Symbol For There Does Not Exist (∄) 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
logicmathematicssymbolquantifiernegationnon-existencethere-does-not-existpredicateformalnotationCopy the There Does Not Exist dymbol to your clipboard to use on Twitter, Instagram, Discord and more in one click.
∄ Click to copy