U+2900 "⤀" Rightwards Two-Headed Arrow with Vertical Stroke Unicode Character

U+2900 "⤀" Rightwards Two-Headed Arrow with Vertical Stroke is a mathematical symbol from the Supplemental Arrows-B block, designed to represent a specific directional relationship or transformation in formal logic, set theory, and advanced mathematics. It combines the visual concept of a two-headed arrow, which typically indicates a bidirectional or equipollent mapping, with a vertical stroke that often signifies a restriction, termination, or a defined stop in the function or relation. This character is used in contexts such as category theory, where it might denote a morphism with a particular property, or in notation for partial orders and functions where the stroke adds a qualifier about a fixed point or boundary condition. Its inclusion in Unicode ensures precise rendering across digital platforms for technical documents and academic papers.