ams/implies-to-Longrightarrow

Level

AuthoringFaithfulCorpusEquivFaithful, Corpus, and Equiv apply this rule.

Fidelity

renderPreserves rendering under the reference renderer.

Package

ams

Source

ams/faithful/ams_operator_alias/implies_to_Longrightarrow.rs (opens in new tab)

Triggers

\implies command

Eliminates

\implies command

Produces

\; command; \Longrightarrow character

Rewrite patterns#

1. \implies\;\Longrightarrow\;

Examples#

Each example shows this rule applied in isolation. A complete normalization profile may make additional changes.

n>1 \implies n^2>1

n>1 \;\Longrightarrow\; n^2>1

A\subset B \implies |A|\le |B|

A\subset B \;\Longrightarrow\; |A|\le |B|

Related rules#

Downstream rules#

• base/small-spacer-merge-to-enspace Merge exact half-em small-spacer chunks into enspace in one pass.

Same family#

• ams/Doteq-to-doteqdot Collapse Doteq to the descriptive doteqdot character.
• ams/doublecap-to-Cap Collapse doublecap to the more common Cap character.
• ams/gggtr-to-ggg Collapse gggtr to the shorter ggg character.
• ams/llless-to-lll Collapse llless to the shorter lll character.
• ams/trianglerighteq-to-unrhd Collapse trianglerighteq to the more common unrhd character.
• ams/unlhd-to-trianglelefteq Collapse unlhd to the descriptive trianglelefteq character.
• ams/vartriangleleft-to-lhd Collapse vartriangleleft to the more common lhd character.
• ams/vartriangleright-to-rhd Collapse vartriangleright to the more common rhd character.
• ams/impliedby-to-Longleftarrow Collapse impliedby to the explicit AMS long-left-arrow spelling with source-backed spacing.
• ams/Join-to-bowtie Normalize Join to bowtie for corpus form.
• ams/centerdot-to-cdot Normalize AMS centerdot to the base cdot character for corpus form.
• ams/doublecup-to-Cup Normalize doublecup to Cup for corpus form.
• ams/leadsto-to-rightsquigarrow Normalize leadsto to the more common rightsquigarrow corpus form.
• ams/lozenge-to-Diamond Normalize lozenge to Diamond for corpus form.
• ams/restriction-to-upharpoonright Normalize restriction to upharpoonright for corpus form.
• ams/square-to-Box Normalize square to Box for corpus form.
• ams/vartriangle-to-bigtriangleup Normalize vartriangle to bigtriangleup for corpus form.
• base/ast-to-asterisk Canonicalize the math binary operator \ast to the pixel-identical literal asterisk form.
• base/ge-to-geq Collapse ge to the explicit geq relation character.
• base/le-to-leq Collapse le to the explicit leq relation character.
• base/lnot-to-neg Collapse lnot to the standard neg character.
• base/ne-to-neq Collapse ne to the explicit neq relation character.
• base/owns-to-ni Collapse owns to the shorter ni character.
• base/prime-to-prime-node Convert the prime control sequence to the Prime AST node.
• base/not-equals-to-neq Rewrite \not followed by an equals sign to the canonical \neq character.
• base/not-exists-to-nexists Rewrite \not\exists to the canonical AMS \nexists character when the target is available.
• base/not-in-to-notin Rewrite \not\in to the canonical \notin character.
• base/not-right-arrow-to-nrightarrow Rewrite not followed by a U+2192 right arrow to the canonical AMS nrightarrow character.
• base/dots-to-ldots-or-cdots Resolve plain \dots to an explicit ellipsis only when the following math atom class determines MathJax's choice.
• base/gets-to-leftarrow Normalize gets to leftarrow for corpus form.
• base/land-to-wedge Normalize land to wedge for corpus form.
• base/lor-to-vee Normalize lor to vee for corpus form.
• base/rightarrow-to-to Normalize rightarrow to the shorter to arrow character for corpus form.
• base/semantic-dots-to-cdots Normalize semantic centered-dot ellipsis aliases to cdots for corpus form.
• base/semantic-dots-to-ldots Normalize semantic baseline ellipsis aliases to ldots for corpus form.
• physics/divsymbol-to-divisionsymbol Collapse divsymbol to the documented divisionsymbol character alias.
• physics/dotproduct-to-vdot Collapse dotproduct to the shorter vdot character alias.
• physics/cross-aliases-to-times Normalize physics cross-product glyph aliases to times for corpus form.

Disable this rule#

TransformEngine(profile="corpus", disable_rules=["ams/implies-to-Longrightarrow"])

new TransformEngine({ profile: 'corpus', disableRules: ['ams/implies-to-Longrightarrow'] })

Open in Playground