U+295B "⥛" Rightwards Harpoon with Barb Up from Bar Unicode Character

U+295B "⥛" Rightwards Harpoon with Barb Up from Bar is a typographic symbol used primarily in mathematical notation and logic, often to denote a specific type of function, mapping, or relation, where the harpoon points rightward with its barb facing upward and originates from a short perpendicular line or bar. It belongs to the Supplemental Arrows-B block and can be employed in diagrams or formulas to indicate a directed connection or a one-way implication that starts from a defined base. This character is distinct from simpler arrow symbols due to its barbed tip and the bar at the tail, which adds precision in contexts like category theory or set theory where nuanced directional relationships are required.