p;of term * term<BR>
	  &nbsp;&nbsp;| `=&nbsp;&nbsp;&nbsp;of term * term<BR>
	  &nbsp;&nbsp;| `&lt;&gt;&nbsp;&nbsp;of term * term<BR>
	  &nbsp;&nbsp;| `>=&nbsp;&nbsp;of term * term<BR>
	  &nbsp;&nbsp;| `>&nbsp;&nbsp;&nbsp;of term * term<BR>
	  &nbsp;&nbsp;| `&lt;-> of rel * term</TT>
    </DT>
    <DD>
      <P>This datatype is used to post linear equations.
      </P>
      <UL>
        <LI><TT>`&lt;(<I>x</I>,<I>y</I>)</TT> denotes that
            <I>x</I> is less than <I>y</I>.
        <LI><TT>`&lt;=(<I>