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

Send feedback on this subject.