x</I>,<I>y</I>)</TT> denotes that
            <I>x</I> is less than or equal to <I>y</I>.
        <LI><TT>`=(<I>x</I>,<I>y</I>)</TT> denotes that
            <I>x</I> equals <I>y</I>.
        <LI><TT>`&lt;&gt;(<I>x</I>,<I>y</I>)</TT> denotes that
            <I>x</I> is not equal to <I>y</I>.
        <LI><TT>`>=(<I>x</I>,<I>y</I>)</TT> denotes that
            <I>x</I> is greater than or equal to <I>y</I>.
        <LI><TT>`>(<I>x</I>,<I>y</I>)</TT> denotes that
            <I>x</I> is greater than <I>y</I>.