A dashed left-pointing arrow symbol commonly used to represent partial or incomplete mappings in category theory and abstract algebra.

A dashed left-pointing arrow symbol commonly used to represent partial or incomplete mappings in category theory and abstract algebra.