โ
Right Arrow
Implication or function mapping
63
Frequency
U+2192
Unicode
Abstract Mathematics
Cluster
Mathematical Topics
#
logic
Formal reasoning and proof
#
functions
Mappings between sets
#
category theory
Abstract study of mathematical structures
=
Abstract Mathematics
This symbol belongs to this cluster
High-level abstractions and theoretical frameworks
Related Symbols
Symbols sharing similar mathematical topics and concepts
โ
Double Arrow
43 frequency
logicproof
โ
Composition
41 frequency
functionsabstract-algebra
=
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
4-Dimensional Position
This symbol's position in the 4D clustering space based on frequency, topic count, diversity, and abstractness
Frequency
0.630
Topic Count
0.300
Topic Diversity
0.400
Abstractness
0.733