physics/probability-to-pr

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/probability_to_pr.rs (opens in new tab)

Triggers

\Probability command

Produces

\Pr command

Touches

\Probability command

Rewrite patterns#

1. bare\Probability\Pr

Examples#

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

\Probability A=\frac{1}{2}

\Pr A=\frac{1}{2}

Related rules#

Downstream rules#

• physics/physics-operator-fence-expand Expand the physics auto-sized argument of exp, det, and Pr into an explicit fence.

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/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, \Probability is the original \Pr saved with \let, a plain operator that grabs nothing, while the redefined \Pr grabs a following {...}, [...], or (...) argument as an auto-sized fence. The rule renames only a bare \Probability, one not followed by (, [, or a brace group; a \Probability that carries scripts is bare. The renamed command gets the empty argument slots of the active \Pr record. In faithful, named-fn-to-operatorname rewrites the skipped branches to \operatorname{Pr} and keeps the delimiters literal. Touches-only convergence: every Applied removes one bare \Probability; 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/probability-to-pr"])

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

Open in Playground