⊨
Models
Semantic entailment
36
Frequency
U+22A8
Unicode
Advanced Calculus
Cluster
Mathematical Topics
#
logic
Formal reasoning and proof
#
model theory
Relationships between formal languages and their interpretations
#
semantics
Meaning in formal systems
∴
Advanced Calculus
This symbol belongs to this cluster
Continuous mathematics, integration, differentiation, and limits
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.360
Topic Count
0.300
Topic Diversity
0.200
Abstractness
0.700