 Raising operator

A raising operator is a positive-root vector. Acting on a weight vector of weight $\mu$ either gives zero or a weight vector of weight $\mu +\alpha$.