⊸
Lollipop
Linear implication
28
Frequency
U+22B8
Unicode
Fundamental Operations
Cluster
Mathematical Topics
#
linear logic
Logic with resource sensitivity
#
type theory
Formal systems for classifying objects
#
category theory
Abstract study of mathematical structures
λ
Fundamental Operations
This symbol belongs to this cluster
Basic arithmetic and algebraic operations used across all mathematics
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