Dominance order (source code)

= Dominance order
{title2=$\mu\preceq\lambda$}
{wiki}

For weights $\mu,\lambda$, one writes $\mu\preceq\lambda$ when $\lambda-\mu$ is a nonnegative integer combination of the simple roots.