special">!(</span><span class="identifier">x</span>
                    <span class="special">&lt;</span> <span class="identifier">y</span><span class="special">)</span> <span class="special">&amp;&amp;</span>
                    <span class="special">!(</span><span class="identifier">y</span>
                    <span class="special">&lt;</span> <span class="identifier">x</span><span class="special">)</span></code> induced equivalence
                  </p>
                </td>
</tr>
<tr>
<td>
           