U+2955 "⥕" Downwards Harpoon with Barb Right to Bar Unicode Character

U+2955 "⥕" Downwards Harpoon with Barb Right to Bar is a typographic symbol used in mathematical notation and technical diagrams, particularly within the fields of logic, category theory, and linear algebra, to denote a downward directional mapping or relation that terminates at a vertical bar. Its design features a harpoon point facing downward with a barb on the right side, connected to a short horizontal bar on its left, representing a specific kind of one way function or a defined stop in a process. This character belongs to the Supplemental Arrows B block and is commonly employed to illustrate partial functions, injections, or conditional flow in formal proofs and commutative diagrams. Its precise appearance ensures clarity in representing operations where a downward vector ends at a barrier or limiting boundary.