Implies in LaTeX

The LaTeX command for implies (⟹) is \implies (implies (wide)).

\implies

Arrows · Unicode ⟹ (U+27F9) · needs amsmath

Writing a paper? The table generator and the BibTeX cleaner are one click away, no account.

Which command should you use?

Command	Package	Use it when
`\implies` recommended	`amsmath`	Long double arrow with space on both sides, for logic in display math.
`\Rightarrow`	none	Short double arrow, built in.
`\impliedby`	`amsmath`	The converse, pointing left.
`\iff`	none	If and only if.

Table 1. Ways to write implies in LaTeX. Every line was compiled with pdfLaTeX (TeX Live 2026) loading only the package shown.

Common mistake. \implies comes from amsmath: without it pdfLaTeX stops with "Undefined control sequence". \Rightarrow works everywhere.

How to type Implies

Write \implies inside math mode, that is between $…$ for inline math or in a \[ … \] or equation block for display math. This symbol needs the amsmath package, so add \usepackage{amsmath} to your preamble.

Example

$x > 2 \implies x^2 > 4$

x > 2 \implies x^2 > 4

Open this example in the live preview: it renders as you type, with no compiler and no signup.

Often confused with

If and only if \iff (⟺): if and only if (wide)
Double left-right arrow \Leftrightarrow (⇔): if and only if
Implies arrow \Rightarrow (⇒): implies

Related Arrows symbols

\leftarrow\rightarrow\leftrightarrow\Leftarrow\Rightarrow\Leftrightarrow\iff\uparrow\downarrow\updownarrow\nearrow\searrow\swarrow\nwarrow

Arrows in LaTeX: the full table or search all 350+ LaTeX symbols.

FAQ

How do you write implies (⟹) in LaTeX?

Use \implies in math mode after adding \usepackage{amsmath} to your preamble. For example, $x > 2 \implies x^2 > 4$.

Which package provides \implies?

It comes from the amsmath package: add \usepackage{amsmath} to your preamble.

What is the most common mistake with implies in LaTeX?

\implies comes from amsmath: without it pdfLaTeX stops with "Undefined control sequence". \Rightarrow works everywhere.