U+2905 "⤅" Rightwards Two-Headed Arrow from Bar Unicode Character

U+2905 "⤅" Rightwards Two-Headed Arrow from Bar is a specialized arrow symbol included in the Unicode standard's Supplemental Arrows-B block, designed for use in mathematical logic and formal notation to represent a logical biconditional with a starting premise or constraint. Its visual design features a horizontal bar at the tail of the arrow, from which two arrowheads extend to the right, signifying a bidirectional relationship that originates from a defined initial condition or "bar." This notation is often employed in proofs, algorithm descriptions, or relational diagrams to indicate that a two-way implication is conditional upon the presence of the bar's associated element.

General Properties

Code Point	U+2905
Version Added	3.2
Name	Rightwards Two-Headed Arrow from Bar
Block	Supplemental Arrows-B
General Category	Math Symbol
Canonical Combining Class	Not Reordered
Bidirectional Class	Other Neutral

Encodings

HTML Decimal Encoding	⤅
HTML Hex Encoding	⤅
UTF-8 Encoding	0xE2 0xA4 0x85
UTF-16 Encoding	0x2905
UTF-32 Encoding	0x00002905
C/C++/Java Escape	\u2905

Unicode Properties

NFC Quick Check	Yes
NFD Quick Check	Yes
NFKC Quick Check	Yes
NFKD Quick Check	Yes
Numeric Type	None
Numeric Value	NaN
Line Break	Alphabetic
Script	Common
Script Extensions	Common
Indic Syllabic Category	Other
Pattern Syntax	Yes
Math	Yes
Vertical Orientation	Rotated
Grapheme Base	Yes
Grapheme Cluster Break	Other
Word Break	Other
Sentence Break	Other