Weyl character formula (source code)

= Weyl character formula
{c}
{wiki}

For a dominant integral weight $\lambda$, the irreducible character is
$$
\operatorname{ch}L_\lambda=
\frac{\sum_{w\in W}(-1)^{\ell(w)}e^{w(\lambda+\rho)}}
{\sum_{w\in W}(-1)^{\ell(w)}e^{w\rho}}.
$$