TeXipedia

Lrarr

Represents a double-headed arrow pointing both left and right, commonly used to indicate bidirectional relationships or equivalence.

Overview

Serves as a mathematical and logical notation to show mutual implications, reversible processes, or two-way relationships between concepts or expressions.

  • Frequently used in mathematical logic to denote logical equivalence
  • Common in chemistry to represent reversible reactions or equilibrium
  • Appears in computer science to indicate bidirectional data flow or mappings
  • Useful in formal proofs and mathematical demonstrations where mutual implication needs to be shown

Examples

Showing logical equivalence between two mathematical statements.

p∧q⇔q∧pp \land q \Lrarr q \land p 
p \land q \Lrarr q \land p

Expressing a bidirectional implication in set theory.

A⊆B⇔∀x(x∈A→x∈B)A \subseteq B \Lrarr \forall x(x \in A \rightarrow x \in B) 
A \subseteq B \Lrarr \forall x(x \in A \rightarrow x \in B)

Demonstrating equivalence of two algebraic expressions.

x2−4=0⇔x=±2x^2 - 4 = 0 \Lrarr x = \pm 2 
x^2 - 4 = 0 \Lrarr x = \pm 2