4.7.6 Predicate Summary

-Y is +X ISO

Y is the value of arithmetic expression X

+X =:= +Y ISO

the results of evaluating terms X and Y as arithmetic expressions are equal.

+X =\= +Y ISO

the results of evaluating terms X and Y as arithmetic expressions are not equal.

+X < +Y ISO

the result of evaluating X as an arithmetic expression is less than the result of evaluating Y as an arithmetic expression.

+X >= +Y ISO

the result of evaluating X as an arithmetic expression is not less than the result of evaluating Y as an arithmetic expression.

+X > +Y ISO

the result of evaluating X as an arithmetic expression X is greater than the result of evaluating Y as an arithmetic expression.

+X =< +Y ISO

the result of evaluating X as an arithmetic expression is not greater than the result of evaluating Y as an arithmetic expression.