Arithmetic


Y is X
Y is the value of arithmetic expression X
X =:= Y
the results of evaluating terms X and Y as arithmetic expressions are equal.
X =\= Y
the results of evaluating terms X and Y as arithmetic expressions are not equal.
X < Y
the result of evaluating X as an arithmetic expression is less than the result of evaluating Y as an arithmetic expression.
X >= Y
the result of evaluating X as an arithmetic expression is not less than the result of evaluating Y as an arithmetic expression.
X > Y
the result of evaluating X as an arithmetic expression X is greater than the result of evaluating Y as an arithmetic expression.
X =< Y
the result of evaluating X as an arithmetic expression is not greater than the result of evaluating Y as an arithmetic expression.