⊢
Entails
Syntactic entailment
37
Frequency
U+22A2
Unicode
Geometric Relations
Cluster
Mathematical Topics
#
logic
Formal reasoning and proof
#
proof theory
Formal study of mathematical proofs
#
type theory
Formal systems for classifying objects
∂
Geometric Relations
This symbol belongs to this cluster
Spatial relationships, angles, and geometric properties
Related Symbols
Symbols sharing similar mathematical topics and concepts
=
Equals
100 frequency
algebralogic
∈
Element Of
76 frequency
set-theorylogic
∀
For All
74 frequency
logicset-theory
∃
There Exists
73 frequency
logicset-theory
∪
Union
65 frequency
set-theorylogic
∩
Intersection
64 frequency
set-theorylogic
→
Right Arrow
63 frequency
logicfunctions
∧
Logical AND
55 frequency
logicset-theory
4-Dimensional Position
This symbol's position in the 4D clustering space based on frequency, topic count, diversity, and abstractness
Frequency
0.370
Topic Count
0.300
Topic Diversity
0.200
Abstractness
0.800