loading tool…
The LaTeX command for implies (⟹) is \implies — implies (wide).
\impliesWrite \implies inside math mode — that is, between $…$ for inline math or in a \[ … \] / equation block for display math. This symbol needs the amsmath package, so add \usepackage{amsmath} to your preamble.
$A \implies B$Prefer to see it live? Paste it into the LaTeX preview and it renders as you type — no compiler, no signup.
\to\leftarrow\rightarrow\leftrightarrow\Leftarrow\Rightarrow\Leftrightarrow\iff\uparrow\downarrow\updownarrow\nearrow\searrow\swarrowSearch all 380+ LaTeX symbols →
Use \implies in math mode after adding \usepackage{amsmath} to your preamble. For example, $A \implies B$.
It comes from the amsmath package — add \usepackage{amsmath} to your preamble.