- <td class="snns top italic red">degree-based equivalence for terms</td>
- <td class="snns top red">deq ( ? ≡[?,?] ? ) </td>
- <td class="ssnn top red">deq_deq</td>
+ <td class="snns top capitalize italic red">degree-based equivalence</td>
+ <td class="snns top italic red" />
+ <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 capitalize italic red">
+ <br />
+ </td>
+ <td class="snns top italic red" />
+ <td class="snns top red">tdeq ( ? ≛[?,?] ? )</td>
+ <td class="ssnn top red">tdeq_tdeq</td>