U+21BE "↾" Upwards Harpoon with Barb Rightwards Unicode Character

U+21BE "↾" Upwards Harpoon with Barb Rightwards is a typographic symbol belonging to the Arrows block, and it represents an upward pointing harpoon with a barb on its right side. It is used primarily in mathematical notation, particularly in the fields of logic, set theory, and category theory, where it can denote functions, mappings, or relations, such as a partial function or an injective map, depending on the context. Its design conveys a distinct directionality and is often employed to contrast with other arrow variants in formal proofs or diagrams.