          </p>
                </td>
<td>
                  <p>
                    <code class="computeroutput"><span class="special">&lt;</span></code> is a total
                    ordering relation
                  </p>
                </td>
</tr>
<tr>
<td>
                  <p>
                    <code class="computeroutput"><span class="identifier">a</span> <span class="special">&gt;</span>
                    <span class="identifier">b</span></code>
                  </p>
                </td>
<td