U+295F "⥟" Rightwards Harpoon with Barb down from Bar Unicode Character

U+295F "⥟" Rightwards Harpoon with Barb down from Bar is a typographic symbol used primarily in mathematical notation and formal logic, particularly within the context of arrow diagrams and category theory. It depicts an arrow pointing to the right, originating from a vertical bar on its left side, with a barb or hook directed downward near its head, representing a specific type of functional relation or morphism. This character belongs to the "Supplemental Arrows-B" block of Unicode and is encoded for precise textual representation in technical documents where standard arrow characters are insufficient. Its design conveys a unidirectional movement with a constraint or attachment indicated by the bar, making it useful for illustrating concepts such as partial functions or pointed transformations in advanced mathematics.