A rightward arrow with a tail indicating an injective function or monomorphism in category theory and abstract algebra.
