Highest root (source code)

= Highest root
{title2=$\theta$}
{wiki=Root_system#Root_posets}

The highest root is the maximal positive root in the root order determined by the <simple root>[simple roots].