`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

Send feedback on this subject.