physics/naturallogarithm-to-ln

Level

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

Fidelity

renderPreserves rendering under the reference renderer.

Package

physics

Source

physics/authoring/named_fn_to_short/naturallogarithm_to_ln.rs (opens in new tab)

Triggers

\naturallogarithm command

Produces

\ln command

Touches

\naturallogarithm command

Rewrite patterns#

1. bare\naturallogarithm\ln

Examples#

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

S=k_B\naturallogarithm W

S=k_B\ln W

Related rules#

Downstream rules#

• physics/named-fn-paren-expand Expand physics power and auto-sized parenthesis arguments of standard named functions.

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

In LaTeX physics.sty 1.3, \naturallogarithm is the original \ln saved with \let, a plain operator that grabs nothing, while the redefined \ln grabs a following [...] power and (...) argument. The rule renames only a bare \naturallogarithm, one not followed by (, [, or a brace group; a \naturallogarithm that carries scripts is bare. The renamed command gets the empty argument slots of the active \ln record. In faithful, named-fn-to-operatorname rewrites the skipped branches to \operatorname{ln} and keeps the delimiters literal. Touches-only convergence: every Applied removes one bare \naturallogarithm; non-matching nodes return Skipped. The produced command and canonical reference use the physics record, which overrides the base definition whenever this rule is enabled.

Disable this rule#

TransformEngine(profile="corpus", disable_rules=["physics/naturallogarithm-to-ln"])

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

Open in Playground