U+2B3D "⬽" Leftwards Two-Headed Arrow with Tail with Double Vertical Stroke Unicode Character

U+2B3D "⬽" Leftwards Two-Headed Arrow with Tail with Double Vertical Stroke is a typographic symbol typically used in mathematical notation, linguistics, or diagrammatic contexts to denote a bidirectional or dual-directional relationship that includes a notion of restriction, equivalence, or a fixed point, as suggested by the vertical strokes and tail. Its design combines a leftward arrow with two arrowheads to indicate movement or mapping in one primary direction while the double vertical stroke and tail imply a boundary, constraint, or a specific structural condition. Found in the Miscellaneous Symbols and Arrows block, this character is rarely used in everyday text but serves specialized functions in formal logic, computer science, or technical illustration where precise directional and relational semantics are required.