COMPARATIVES

The comparison x=y is treated like the everyday use of equality (that is, with a reasonable relative tolerance), yielding 1 if the difference x–y falls relatively close to zero. Tolerant comparison also applies to other relations and to floor and ceiling (<. and >.); a precise definition is given in Definitions under equal (=). An arbitrary tolerance t can be specified by using the fit conjunction (&:), as in x =&:t y.