Class Field Theory
《Class Field Theory》 · 第 277 页 · Chapter 10，Section 10.4「The Weyl Character Formula」，Definition 10.15
Definition 10.15. Let $q\colon\mathfrak h\to\mathbb C$ be the function given by $q(H) = \sum_{w\in W} \det(w)e^{\langle w\cdot\delta, H\rangle}$. The function $q$ is called the Weyl denominator.