โธ
Lollipop
Linear implication
28
Frequency
U+22B8
Unicode
Abstract Mathematics
Cluster
Mathematical Topics
#
linear logic
Logic with resource sensitivity
#
type theory
Formal systems for classifying objects
#
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
โ
Right Arrow
63 frequency
logicfunctions
โ
Tensor Product
56 frequency
linear-algebraquantum-mechanics
โ
Composition
41 frequency
functionsabstract-algebra
โข
Entails
37 frequency
logicproof-theory
โ
Multiset Union
35 frequency
set-theorycombinatorics
โ
Join
34 frequency
lattice-theoryorder-theory
โ
Meet
33 frequency
lattice-theoryorder-theory
4-Dimensional Position
This symbol's position in the 4D clustering space based on frequency, topic count, diversity, and abstractness
Frequency
0.280
Topic Count
0.300
Topic Diversity
0.200
Abstractness
0.800