Weyl–Kac character formula