U+295E "⥞" Leftwards Harpoon with Barb down from Bar Unicode Character

U+295E "⥞" Leftwards Harpoon with Barb down from Bar is a mathematical symbol used primarily in notation for functions, mappings, or relational arrows in logic and set theory. It depicts a harpoon pointing leftward with a barb facing downward, originating from a short vertical bar, which distinguishes it from simpler arrow or harpoon characters. This glyph belongs to the Supplemental Arrows B block and is often employed in academic contexts, such as representing a specific type of injective or partial function where the direction and barb indicate domain and codomain restrictions. Its design ensures clarity in technical diagrams where precision in directional mapping is important.