\upharpoonleft

An upward-pointing harpoon arrow with a left barb used in category theory and abstract algebra to denote specialized mappings.