#### 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.

Send feedback on this subject.