mento de <code>ordergreat</code>), que precede a ..., que
precede a (primer argumento de <code>ordergreat</code>), que precede a (variables
principales declaradas).
</p>
<p>Para las expresiones no atómicas, la ordenación canónica se deriva de la
ordenación de átomos. Para los operadores nativos <code>+</code>, <code>*</code> y <code>^</code>,
los criterios de ordenación no son sencillos de resumir.
Para otros operadores nativos, y todas las demás funciones y operadores,
las expresiones se ordenan por