U+2957 "⥗" Rightwards Harpoon with Barb down to Bar Unicode Character

U+2957 "⥗" Rightwards Harpoon with Barb down to Bar is a mathematical arrow symbol used primarily in notation for functions, mappings, or logical relations, specifically representing a rightward pointing harpoon that has its barb directed downward and its shaft meeting a vertical bar at the right end, which often indicates a partial function or a special type of correspondence in set theory and logic.