U+2953 "⥓" Rightwards Harpoon with Barb Up to Bar Unicode Character

U+2953 "⥓" Rightwards Harpoon with Barb Up to Bar is a typographic symbol used in mathematical notation and formal logic, particularly in areas involving relations and functions between sets or objects. It depicts a rightward pointing harpoon or arrow whose barb faces upward, with the arrow shaft ending against a vertical bar, implying a specific type of directional mapping or restriction. This character is part of the Supplemental Arrows-B block, which provides a range of specialized arrows for academic and technical writing, allowing precise expression of concepts such as partial functions or relations that are defined only up to a certain boundary or limit. Its design distinguishes it from standard arrows, making it useful for diagrams, proofs, and formal systems where clarity of direction and termination is required.