base/lnot-to-neg

Level

AuthoringFaithfulCorpusEquivEvery profile applies this rule; its output remains suitable for authoring.

Fidelity

renderPreserves rendering under the reference renderer.

Package

base

Source

base/authoring/character_alias/lnot_to_neg.rs (opens in new tab)

Triggers

\lnot character

Eliminates

\lnot character

Produces

\neg character

Rewrite patterns#

1. \lnot\neg

Examples#

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

A \lnot B

A \neg B

Related rules#

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/implies-to-Longrightarrow Collapse implies to the explicit AMS long-right-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/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=["base/lnot-to-neg"])

new TransformEngine({ profile: 'corpus', disableRules: ['base/lnot-to-neg'] })

Open in Playground