Left Right Double Arrow

The Left Right Double Arrow at U+21D4 represents a two-way logical or directional relationship, most often read as “if and only if,” “equivalent to,” or “goes both ways.” It is a printable symbol in the Unicode Arrows block, where double-shaft arrows are commonly used for implication, equivalence, and bidirectional movement. Its strongest real-world use is in mathematics, formal logic, and computer science theory. A statement such as P ⇔ Q means that P is true exactly when Q is true: each condition implies the other. In proofs, textbooks, and lecture notes, it is used to connect equivalent definitions, reversible transformations, and biconditional propositions. The symbol also appears in technical diagrams, specifications, and interface notes to mark bidirectional exchange or mutual conversion. For example, a data-flow diagram might label a client ⇔ server connection to show traffic in both directions, while a documentation table may use it for mappings that can be read both ways. In chemistry and physics-adjacent notation, similar double arrows may indicate reversible processes or equilibrium, but specialized equilibrium arrows are often preferred when precision matters. It is visually close to the longer double arrow and several related equivalence arrows, so exact symbol choice can matter in formal publishing.