TeXipedia

leftrightarrows

Represents a bidirectional relationship or equilibrium with two parallel horizontal arrows pointing in opposite directions.

Overview

Commonly used in chemistry to denote reversible reactions or dynamic equilibrium states, and in mathematics to indicate bijective mappings or two-way relationships between sets or elements.

  • Essential in chemical equation notation for showing reversible processes
  • Appears in set theory and abstract algebra for showing one-to-one correspondences
  • Used in formal logic and proof theory to denote logical equivalence
  • Helpful in expressing dynamic systems or processes that can move in both directions

Examples

Representing a reversible chemical reaction between compounds A and B.

ABA \leftrightarrows B
A \leftrightarrows B

Showing equilibrium between two chemical states with temperature.

H2O(s)H2O(l),T=0°C\text{H}_2\text{O}(s) \leftrightarrows \text{H}_2\text{O}(l), T = 0°\text{C}
\text{H}_2\text{O}(s) \leftrightarrows \text{H}_2\text{O}(l), T = 0°\text{C}

Indicating bidirectional mapping between sets X and Y.

XYX \leftrightarrows Y
X \leftrightarrows Y