U+2956 "⥖" Leftwards Harpoon with Barb down to Bar Unicode Character

U+2956 "⥖" Leftwards Harpoon with Barb down to Bar is a specialized arrow-like symbol used in mathematical notation, particularly in the context of long arrows or maps between objects, to indicate a leftward direction with a harpoon point that has its barb facing downward and attached to a vertical bar. This glyph belongs to the Supplemental Arrows-B block and is often employed in set theory, category theory, or logical diagrams to denote specific functional relations, such as an injective mapping or a pullback, where the barb and bar convey precise directional and structural constraints. Its design distinguishes it from simpler arrows, offering clarity in formal written mathematics when showing one-directional operations with a fixed anchor point.