⊢
Entails
Syntactic entailment
37
Frequency
U+22A2
Unicode
Algebraic Structures
Cluster
Mathematical Topics
#
logic
Formal reasoning and proof
#
proof theory
Formal study of mathematical proofs
#
type theory
Formal systems for classifying objects
→
Algebraic Structures
This symbol belongs to this cluster
Abstract structures including groups, rings, and categories
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