⇒
Double Arrow
Logical implication
43
Frequency
U+21D2
Unicode
Geometric Relations
Cluster
Mathematical Topics
#
logic
Formal reasoning and proof
#
proof
Logical demonstrations of theorems
#
functions
Mappings between sets
∫
Geometric Relations
This symbol belongs to this cluster
Spatial relationships, angles, and geometric properties
Related Symbols
Symbols sharing similar mathematical topics and concepts
∀
For All
74 frequency
logicset-theory
∃
There Exists
73 frequency
logicset-theory
→
Right Arrow
63 frequency
logicfunctions
⇔
If and Only If
42 frequency
logicproof
∴
Therefore
32 frequency
logicproof
∵
Because
31 frequency
logicproof
=
Equals
100 frequency
algebralogic
∈
Element Of
76 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.430
Topic Count
0.300
Topic Diversity
0.200
Abstractness
0.567