physics/trace-to-tr

Level

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

Fidelity

renderPreserves rendering under the reference renderer.

Package

physics

Source

physics/authoring/trace_alias/trace_to_tr.rs (opens in new tab)

Triggers

\trace command

Produces

\tr command

Touches

\trace command

Rewrite patterns#

1. bare\trace\tr

Examples#

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

\trace\rho=1

\tr\rho=1

\trace_A\rho

\tr_A\rho

Related rules#

Downstream rules#

• physics/named-fn-to-operatorname Rewrite physics-only named functions to operatorname and expand their auto-sized arguments.

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/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/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#

In LaTeX physics.sty 1.3, \trace is \DeclareMathOperator{\trace}{tr}, while \tr is \opbraces{\trace}: a following {...}, [...], or (...) becomes an auto-sized fence after \tr but stays literal after \trace. Only the bare form is equivalent, so the rule skips \trace when its next sibling, counted by its script base, is an explicit brace group, [ or (; a \trace that carries scripts is bare because physics grabs nothing after scripts. In faithful, named-fn-to-operatorname rewrites the skipped branches to \operatorname{tr} and keeps the delimiters literal. MathJax treats both names as the same Expression, so it renders every branch alike. Touches-only convergence: every Applied removes one bare \trace; non-matching nodes return Skipped.

Disable this rule#

TransformEngine(profile="corpus", disable_rules=["physics/trace-to-tr"])

new TransformEngine({ profile: 'corpus', disableRules: ['physics/trace-to-tr'] })

Open in Playground