U+21D0 "⇐" Leftwards Double Arrow Unicode Character

U+21D0 "⇐" Leftwards Double Arrow is a typographic symbol classified in the Arrows block, often used in formal logic, mathematics, and computer science to denote a logical implication or equivalence where the leftward direction indicates the conclusion or result from a premise, or in programming documentation to represent assignment operations. In some contexts, notably in LaTeX and text-based notation, it can serve as a visual alternative to the "←" single arrow, emphasizing a stronger or bidirectional implication relationship, such as in "if and only if" statements when paired with its rightward counterpart U+21D2. The character is distinct from the similar-looking double‑stroke arrow found in mathematical fonts and is encoded specifically for compatibility with the "arrow" semantics in plain text and legacy systems.