base/limits-drop

Level

AuthoringFaithfulCorpusEquivOnly Equiv applies this rule; its output is intended for comparison.

Fidelity

readingPreserves notation, reading order, and structural roles.

Package

base

Source

base/equiv/limit_placement/limits_drop.rs (opens in new tab)

Triggers

\limits command

Touches

\limits command

Rewrite patterns#

1. bare#1\limits#1
2. scripted#1\limits_{#2}^{#3}#1_{#2}^{#3}

Examples#

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

\sin\limits

\sin

\sum\limits_{i=1}^{n}

\sum_{i=1}^{n}

\det\limits

\det

\det\limits_x

\det\limits_x

\varlimsup\limits_x^y

\varlimsup_x^y

\operatorname*{foo}\limits_x

\operatorname*{foo}_x

Related rules#

Upstream rules#

• ams/idotsint-expand Expand idotsint to explicit repeated integral surfaces.
• base/stackbin-expand Expand stackbin to an explicit binary-level stacked operator form.
• base/stackrel-expand Expand stackrel to an explicit relation-level stacked operator form.

Same family#

• ams/operatorname-to-named-function Rewrite plain operatorname arguments to equivalent base named-function or named-operator commands.
• ams/idotsint-expand Expand idotsint to explicit repeated integral surfaces.
• base/nolimits-drop Drop explicit nolimits from an audited operator while preserving attached scripts.
• physics/cosine-to-cos Collapse a bare cosine helper to the standard cos operator.
• physics/naturallogarithm-to-ln Collapse a bare natural logarithm helper to the standard ln operator.
• physics/probability-to-pr Collapse a bare Probability helper to the standard Pr operator.
• physics/sine-to-sin Collapse a bare sine helper to the standard sin operator.
• physics/trace-capital-to-Tr Collapse a bare Trace with no following argument group to the local Tr anchor.
• physics/trace-to-tr Collapse a bare trace with no following argument group to the local tr anchor.
• physics/named-fn-paren-expand Expand physics power and auto-sized parenthesis arguments of standard named functions.
• physics/named-fn-to-operatorname Rewrite physics-only named functions to operatorname and expand their auto-sized arguments.
• physics/physics-operator-fence-expand Expand the physics auto-sized argument of exp, det, and Pr into an explicit fence.
• physics/rank-to-operatorname-rank Rewrite rank to an explicit operatorname form instead of a package-local alias.

Notes#

This rule matches only its audited active-record whitelist. The modifier and preceding operator must occupy the same Root or Group child slot. Relocate attached subscript and superscript ownership from a Scripted limits node to the preceding operator. Isolated, misplaced, runtime-defined, unknown, cross-group, and cross-slot modifiers remain unchanged. The det, exp, and Pr collision commands are eligible only when their active record is the base owner; physics-owned records fail closed. Starred operatorname and the AMS iiiint character are explicit whitelist branches. Audited preceding targets: cmd:mathop, cmd:arccos, cmd:arcsin, cmd:arctan, cmd:arg, cmd:cos, cmd:cosh, cmd:cot, cmd:coth, cmd:csc, cmd:deg, cmd:dim, cmd:gcd, cmd:hom, cmd:inf, cmd:ker, cmd:lg, cmd:lim, cmd:liminf, cmd:limsup, cmd:ln, cmd:log, cmd:max, cmd:min, cmd:sec, cmd:sin, cmd:sinh, cmd:sup, cmd:tan, cmd:tanh, cmd:det, cmd:exp, cmd:Pr, cmd:operatorname, cmd:injlim, cmd:projlim, cmd:varliminf, cmd:varlimsup, cmd:varinjlim, cmd:varprojlim, char:coprod, char:bigvee, char:bigwedge, char:biguplus, char:bigcap, char:bigcup, char:int, char:intop, char:iint, char:iiint, char:prod, char:sum, char:bigotimes, char:bigoplus, char:bigodot, char:oint, char:ointop, char:oiint, char:oiiint, char:bigsqcup, char:smallint, char:iiiint. Every Applied result removes one eligible cmd:limits modifier; all non-whitelisted or misplaced modifiers return Skipped, so the number of eligible cmd:limits nodes strictly decreases. Removing explicit stacking can change visible limit placement in display or inline math. This Reading-fidelity projection is enabled only by Equiv; Authoring, Faithful, and Corpus retain the modifier, including modifiers generated by stacked-operator expansion.

Disable this rule#

TransformEngine(profile="corpus", disable_rules=["base/limits-drop"])

new TransformEngine({ profile: 'corpus', disableRules: ['base/limits-drop'] })

Open in Playground