 Weyl denominator formula

ID: weyl-denominator-formula

Codex  0 Created 2026-09-24 Updated 2026-10-05

Φ^{+}

\sum_{w \in W} (- 1)^{ℓ (w)} e^{wρ} = e^{ρ} \prod_{α \in Φ^{+}} (1 - e^{- α}) .

 New to topics? Read the docs here!