U+2918 "⤘" Rightwards Two-Headed Arrow with Tail with Double Vertical Stroke Unicode Character

U+2918 "⤘" Rightwards Two-Headed Arrow with Tail with Double Vertical Stroke is a typographic symbol belonging to the Supplemental Arrows-B block, used primarily in mathematical notation and formal logic to indicate a specific kind of bidirectional or conditional relation. Its design features an arrow pointing to the right with two heads, a short tail extending from the left, and two parallel vertical lines intersecting the shaft, conveying a sense of restriction or doubled assertion. This character is often employed to represent a logical connective or a mapping that implies a unique or determined outcome in both directions, making it useful in advanced algebra, set theory, or computer science contexts where precise arrow semantics are required.