A leftward-pointing arrow with a downward hook, commonly used to denote partial maps or specialized relations in category theory.
TeXipedia
A leftward-pointing arrow with a downward hook, commonly used to denote partial maps or specialized relations in category theory.