The connective ↔ {\displaystyle \leftrightarrow } for equivalence may be treated as an abbreviation, with ϕ ↔ χ {\displaystyle \phi \leftrightarrow \chi } standing for ( ϕ → χ ) ∧ ( χ → ϕ ) {\displaystyle (\phi \to \chi )\land (\chi \to \phi )} .
З'єднувальний ↔ {\displaystyle \leftrightarrow } для еквівалентності можна розглядати як скорочення з ϕ ↔ χ {\displaystyle \phi \leftrightarrow \chi } , позначається ( ϕ → χ ) ∧ ( χ → ϕ ) {\displaystyle (\phi \to \chi )\land (\chi \to \phi )} .