U+2906 "⤆" Leftwards Double Arrow from Bar Unicode Character

U+2906 "⤆" Leftwards Double Arrow from Bar is a mathematical symbol belonging to the Supplemental Arrows-B block, depicting a leftward double arrow (a pair of parallel arrowheads pointing left) that originates from a vertical bar or line at its tail. This glyph is primarily used in mathematical notation, particularly in logic, set theory, and abstract algebra, to represent specific binary relations or mappings, such as a leftward functional arrow with a domain restriction indicated by the bar, or as a variant of a leftward double arrow in contexts requiring a defined starting point. Its design distinguishes it from similar arrows by emphasizing the bar as a clear reference to a boundary or initial condition in formal expressions.