Wolfram Research, Inc.
A.3.9 Ordering of Expressions
The canonical ordering of expressions used automatically with the attribute Orderless and in functions such as Sort satisfies the following rules:
Integers, rational and approximate real numbers are ordered by their numerical values.
Complex numbers are ordered by their real parts, and in the event of a tie, by the absolute values of their imaginary parts.
Symbols are ordered according to their names, and in the event of a tie, by their contexts.
Expressions are usually ordered by comparing their parts in a depth-first manner. Shorter expressions come first.
Powers and products are treated specially, and are ordered to correspond to terms in a polynomial.
Strings are ordered as they would be in a dictionary, with the upper-case versions of letters coming after lower-case ones. Ordinary letters appear first, followed in order by script, Gothic, double-struck, Greek and Hebrew. Mathematical operators appear in order of decreasing precedence.