#### Term Comparison

`compare(`

`C``,`

`X``,`

`Y``)`

- C is the result of comparing terms
`X` and `Y`

`X`` == `

`Y`

- terms
`X` and `Y` are strictly identical

`X`` \== `

`Y`

- terms
`X` and `Y` are not strictly identical

`X`` @< `

`Y`

- term
`X` precedes term `Y` in standard order for terms

`X`` @>= `

`Y`

- term
`X` follows or is identical to term `Y` in standard order for terms

`X`` @> `

`Y`

- term
`X` follows term `Y` in standard order for terms

`X`` @=< `

`Y`

- term
`X` precedes or is identical to term `Y` in standard order for terms