A↣B

#injective #function notation #mapping symbol #one-to-one symbol #set theory #monomorphism