- <td class="snns top italic red">degree-based equivalence for terms</td>
- <td class="snns top red">tdeq ( ? ≡[?,?] ? ) </td>
- <td class="ssnn top red">tdeq_ext tdeq_tdeq</td>
+ <td class="snns top italic red">degree-based equivalence</td>
+ <td class="snns top red">tdeq_ext ( ? ≡[?,?] ? )</td>
+ <td class="ssnn top red">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic red">
+ <br />
+ </td>
+ <td class="nnns top italic red">
+ <br />
+ </td>
+ <td class="snns top red">tdeq ( ? ≡[?,?] ? )</td>
+ <td class="ssnn top red">tdeq_tdeq</td>