Orders the variables of a polynomial OI-algebra according to $x_{i',j'} < x_{i,j}$ if $i'>i$ or $i'=i$ and $j'<j$.
The object RowDownColUp is a symbol.