U+2903 "⤃" Rightwards Double Arrow with Vertical Stroke Unicode Character

U+2903 "⤃" Rightwards Double Arrow with Vertical Stroke is a specialized typographic symbol classified under the Supplemental Arrows-B block, used primarily in mathematical or technical notation to indicate a mapping or relation that combines rightward directionality with a vertical constraint or interruption. It visually consists of a double-headed horizontal arrow pointing right, with a short vertical line crossing its shaft, often employed in contexts such as set theory, logic, or diagrammatic proofs to denote functions or transformations that are injective or structurally restricted. This character is distinct from similar arrows due to its explicit vertical stroke, which conveys a specific logical or algebraic property rather than simple movement or inclusion.