\implies and \iff are the logic arrows with relation-grade spacing, so they read correctly between two full statements. \Rightarrow is the same glyph with ordinary spacing, which is fine inside a single expression.
All ways to write it
| Command | Use | Package | Copy |
|---|---|---|---|
\implies | — | amsmath | |
\Rightarrow | shorter double arrow, no extra space | none | |
\iff | if and only if, ⟺ | amsmath | |
\Leftrightarrow | ⇔ without the spacing | none |
Commands marked with a package need that \usepackage line in a LaTeX document.
Example
x > 2 \implies x^2 > 4Implication between two inequalities.
Questions
Do \implies and \iff need a package?
amsmath. Both are loaded in KaTeX and MathJax by default, so they work in Confluence math macros.
Related symbols
- Arrows →
\rightarrow - Therefore ∴
\therefore - For all ∀
\forall
Using implies in Confluence
Confluence Cloud has no built-in LaTeX. With LaTeX Math for Confluence you add a math macro to any page, type \implies and it renders inline or as a block, with a live preview while you edit. Every command on this page renders there without extra packages.