Weyl-Kac character formula