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