∃
There Exists
Existential quantifier
73
Frequency
U+2203
Unicode
Set Theory & Logic
Cluster
Mathematical Topics
#
logic
Formal reasoning and proof
#
set theory
Study of collections of objects
#
proof
Logical demonstrations of theorems
∀
Set Theory & Logic
This symbol belongs to this cluster
Mathematical logic, set operations, and foundational concepts
Related Symbols
Symbols sharing similar mathematical topics and concepts
∀
For All
74 frequency
logicset-theory
∈
Element Of
76 frequency
set-theorylogic
∪
Union
65 frequency
set-theorylogic
∩
Intersection
64 frequency
set-theorylogic
∧
Logical AND
55 frequency
logicset-theory
∨
Logical OR
54 frequency
logicset-theory
¬
Not
53 frequency
logicset-theory
∅
Empty Set
50 frequency
set-theorylogic
4-Dimensional Position
This symbol's position in the 4D clustering space based on frequency, topic count, diversity, and abstractness
Frequency
0.730
Topic Count
0.300
Topic Diversity
0.200
Abstractness
0.633