Arrows\impliedby

\impliedbyCommand

Used to denote reverse logical implication with spacing, commonly in logic and proofs

\impliedby
Topic
Arrows
Available in
ams
Kind
prefix
Allowed mode
math
Frequency
<0.01% of corpus formulasrank 239 of 263
Commonality
medium
Renderer support
PackageMathJaxKaTeXXeTeX
amsMathJax: FullKaTeX: FullXeTeX: Full
About the test scope

Syntax#

\impliedby

Takes no arguments. Reading argspecs

In TeXForm#

TeXForm parses this entry as prefix syntax; the package determines its argument specification.

Expands to#

\impliedby \;\Longleftarrow\;

Collapse impliedby to the explicit AMS long-left-arrow spelling with source-backed spacing.

\impliedby \;\Longleftarrow\;

Equivalent forms#

  • \Longleftarrowapproximate

    \impliedby adds thin spaces around the arrow for better spacing

See also#

Test cases#

ams
InputCaseMathJaxKaTeXXeTeX
\impliedbyPositive · baselinePassPassPass
All 69 in Arrows