U+2901 "⤁" Rightwards Two-Headed Arrow with Double Vertical Stroke Unicode Character

U+2901 "⤁" Rightwards Two-Headed Arrow with Double Vertical Stroke is a mathematical and technical symbol used within the larger set of arrows and supplementary arrows in Unicode. It depicts an arrow pointing to the right with two distinct arrowheads at its tip, which is crossed by two vertical lines that form a double stroke through the shaft. This design often indicates a specialized relationship in diagrams or formal logic, such as a function that is both injective and surjective, or a mapping that possesses a unique bidirectional constraint. The double vertical stroke adds a layer of meaning beyond a standard arrow, typically signifying a restrictive or defined property in abstract mathematical notation.