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.