Term Comparison

compare(C,X,Y)

C is the result of comparing terms X and Y

X == Y

terms X and Y are strictly identical

X \== Y

terms X and Y are not strictly identical

X @< Y

term X precedes term Y in standard order for terms

X @>= Y

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

X @> Y

term X follows term Y in standard order for terms

X @=< Y

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