Weyl dimension formula