U+2955 "⥕" Downwards Harpoon with Barb Right to Bar Unicode Character
Unicode Version 17.0
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.
General Properties
Encodings
| HTML Decimal Encoding |
⥕ |
| HTML Hex Encoding |
⥕ |
| UTF-8 Encoding |
0xE2 0xA5 0x95 |
| UTF-16 Encoding |
0x2955 |
| UTF-32 Encoding |
0x00002955 |
| C/C++/Java Escape |
\u2955 |
Unicode Properties