Syntax#
\impliesTakes no arguments. Reading argspecs
In TeXForm#
TeXForm parses this entry as prefix syntax; the package determines its argument specification.
Expands to#
\implies \;\Longrightarrow\;Collapse implies to the explicit AMS long-right-arrow spelling with source-backed spacing.
\implies \;\Longrightarrow\;Equivalent forms#
\Longrightarrowapproximate\impliesadds thin spaces around the arrow for better spacing
See also#
\bmodbase\bmqtyphysics\boxedams\brabraket\Brabraket\flatfracphysics\iffbase\imathbbbboldx\imathbfbbbboldx\impliedbyams\itextbbbboldx\itextbfbbbboldx\jmathbbbboldx\jmathbfbbbboldx\jtextbbbboldx\jtextbfbbbboldx\ketbraket\Ketbraket\ketbrabraket\Ketbrabraket\LaTeXbase\mathstrutbase\matrixdeterminantphysics\mdetphysics\modbase\pmbbase\pmodbase\pmqtyphysics\Pmqtyphysics\podbase\qcphysics\qcommaphysics\Residuephysics\sbmqtyphysics\skewbase\smdetphysics\spmqtyphysics\sPmqtyphysics\stackbinbase\stackrelbase\substackams\svmqtyphysics\TeXbase\textbfbase\textitbase\textnormalbase\textrmbase\textsfbase\textttbase\textupbase\varinjlimams\varliminfams\varlimsupams\varprojlimams\vmqtyphysics\zeromatrixphysics\zmatphysics
Test cases#
| Input | Case | MathJax | KaTeX | XeTeX |
|---|---|---|---|---|
\implies | Positive · baseline | Pass | Pass | Pass |
\to\rightarrow\longrightarrow\mapsto\xrightarrow\Rightarrow\Leftrightarrow\leftarrow\longmapsto\hookrightarrow\Longrightarrow\implies