11.2.20 Term Comparison

compare(-C,+X,+Y)

C is the result of comparing terms X and Y

+X == +Y   ISO

terms X and Y are strictly identical

+X \== +Y   ISO

terms X and Y are not strictly identical

+X @< +Y   ISO

term X precedes term Y in standard order for terms

+X @>= +Y   ISO

term X follows or is identical to term Y in standard order for terms

+X @> +Y   ISO

term X follows term Y in standard order for terms

+X @=< +Y   ISO

term X precedes or is identical to term Y in standard order for terms