Term1 @=< Term2
The term Term1 precedes or is identical to the term Term2 in
the standard order.
Term1 @> Term2
The term Term1 follows the term Term2 in the standard order.
Term1 @>= Term2
The term Term1 follows or is identical to the term Term2 in
the standard order.
Term1 @< Term2
The term Term1 precedes the term Term2 in the standard
order.
Term1 == Term2
The terms Term1 and Term2 are strictly identical.
Term1 \== Term2
The terms Term1 and Term2 are not strictly identical.