Half-sum of positive roots

ID: half-sum-of-positive-roots

The Weyl vector is . It satisfies for every simple root.

New to topics? Read the docs here!