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.