- <td class="snns file orange">fsup ( ⦃?,?,?⦄ ⊃ ⦃?,?,?⦄ )</td>
- <td class="snnn file orange">fsupq ( ⦃?,?,?⦄ ⊃⸮ ⦃?,?,?⦄ )</td>
- <td class="snnn file orange">fsupq_alt ( ⦃?,?,?⦄ ⊃⊃⸮ ⦃?,?,?⦄ )</td>
+ <td class="snns file orange">fquq ( ⦃?,?,?⦄ ⊃⸮ ⦃?,?,?⦄ )</td>
+ <td class="snnn file orange">fquq_alt ( ⦃?,?,?⦄ ⊃⊃⸮ ⦃?,?,?⦄ )</td>
+ <td class="snnn file orange">fquq_fquq</td>
+ <td class="ssnn file orange">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns component orange">
+ <br />
+ </td>
+ <td class="nnns plane orange">
+ <br />
+ </td>
+ <td class="snns file orange">fqu ( ⦃?,?,?⦄ ⊃ ⦃?,?,?⦄ )</td>
+ <td class="snnn file orange">fqu_fqu</td>
+ <td class="snnn file orange">
+ <br />
+ </td>
+ <td class="ssnn file orange">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns component orange">
+ <br />
+ </td>
+ <td class="snns plane orange">lazy equivalence for local environments</td>
+ <td class="snns file orange">lleq ( ? ⋕[?] ? )</td>
+ <td class="snnn file orange">lleq_fleq</td>
+ <td class="snnn file orange">
+ <br />
+ </td>