Next: mpg-top-tha, Previous: mpg-top-eqs, Up: mpg-top [Contents][Index]
compare(-C,+X,+Y) ISO
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