Formal character of a minuscule representation
= Formal character of a minuscule representation
The <formal character of a weight module> for a <minuscule representation> of <highest weight> $\lambda$ is $\operatorname{ch}V(\lambda)=\sum_{\mu\in W\lambda}e^\mu$. The sum is over distinct points of the <Weyl group> orbit, so $\dim V(\lambda)=|W\lambda|$.