Weyl denominator formula