↪

Symbol

 * , injective map, monomorphism written between the domain (source) and codomain (target) of the morphism
 * "The homomorphism from S → R that maps onto the identity map of R gives a retraction of the injective map R ↪ S."