<code class="computeroutput"><span class="identifier">x</span></code>
                    ends before <code class="computeroutput"><span class="identifier">y</span></code>.
                  </p>
                </td>
</tr>
<tr>
<td>
                </td>
<td>
                </td>
<td>
                  <p>
                    The other operators can be deduced in the usual way
                  </p>
                </td>
</tr>
<tr>
<td>
                  <p>
                    <code class="computeroutput