A relational arrow symbol indicating an injective function or monomorphism in category theory and abstract algebra.
