TR> <TD>val mod : <I>wordint</I> * <I>wordint</I> -> <I>wordint</I></TD> </TR>
    <TR> <TD>val / : <I>real</I> * <I>real</I> -> <I>real</I></TD> </TR>
    <TR> <TD>val &lt; : <I>numtext</I> * <I>numtext</I> -> bool</TD> </TR>
    <TR> <TD>val > : <I>numtext</I> * <I>numtext</I> -> bool</TD> </TR>
    <TR> <TD>val &lt;= : <I>numtext</I> * <I>numtext</I> -> bool</TD> </TR>
    <TR> <TD>val >= : <I>numtext</I> * <I>numtext</I> -> bool</TD> </TR>
  </TABLE>
  </TT>

  <P>
    The initial infix declarations are