Weyl's denominator formula