U+2902 "⤂" Leftwards Double Arrow with Vertical Stroke Unicode Character

U+2902 "⤂" Leftwards Double Arrow with Vertical Stroke is a specialized arrow symbol used in mathematical notation and formal logic to represent a specific relationship or mapping. Unlike a standard leftward arrow, its double shaft indicates a bidirectional or a more emphatic directional implication, while the vertical stroke intersecting the shaft often denotes a restriction, a terminal element, or a modified function in contexts such as category theory or computer science. This glyph belongs to the Supplemental Arrows-B block, where it serves as a precise visual tool for expressing complex operations within technical documentation and academic texts. Its design ensures clarity in diagrams where standard arrows might be ambiguous.