ams/idotsint-expand

Level

AuthoringFaithfulCorpusEquivFaithful, Corpus, and Equiv apply this rule.

Fidelity

renderPreserves rendering under the reference renderer.

Package

ams

Source

ams/faithful/multi_integral/idotsint_expand.rs (opens in new tab)

Triggers

\idotsint command

Eliminates

\idotsint command

Produces

\!, \mathop, \,, \limits commands; \int, \cdots characters

Rewrite patterns#

1. \idotsint\int\cdots\int

Examples#

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

\idotsint_{[0,1]^4} f(x_1,\dots,x_4)\,dx_1\cdots dx_4

\int\cdots\int_{[0,1]^4} f(x_1,\dots,x_4)\,dx_1\cdots dx_4

\idotsint\limits_{D_n}^{\infty} e^{-\sum_{j=1}^{m} t_j}\,dt_1\cdots dt_m

\!\!\mathop{\,\,\int\cdots\int}\limits_{D_n}^{\infty} e^{-\sum_{j=1}^{m} t_j}\,dt_1\cdots dt_m

Related rules#

Downstream rules#

• base/small-spacer-merge-to-enspace Merge exact half-em small-spacer chunks into enspace in one pass.
• base/limits-drop Drop explicit limits from an audited operator while preserving attached scripts.

Same family#

• ams/operatorname-to-named-function Rewrite plain operatorname arguments to equivalent base named-function or named-operator commands.
• base/limits-drop Drop explicit limits from an audited operator while preserving attached scripts.
• 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.

Disable this rule#

TransformEngine(profile="corpus", disable_rules=["ams/idotsint-expand"])

new TransformEngine({ profile: 'corpus', disableRules: ['ams/idotsint-expand'] })

Open in Playground