- <td class="snns plane yellow">iterated restricted structural predecessor for closures</td>
- <td class="snns file yellow">frsups ( ⦃?,?⦄ ⧁* ⦃?,?⦄ )</td>
- <td class="snnn file yellow">frsups_frsups</td>
+ <td class="nnns plane yellow">
+ <br />
+ </td>
+ <td class="snns file yellow">tpss ( ? ⊢ ? ▶*[?,?] ? )</td>
+ <td class="snnn file yellow">tpss_alt ( ? ⊢ ? ▶▶*[?,?] ? )</td>
+ <td class="snnn file yellow">tpss_lift</td>
+ <td class="snnn file yellow">tpss_tpss</td>
+ <td class="ssnn file yellow">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns component yellow">
+ <br />
+ </td>
+ <td class="snns plane yellow">iterated structural successor for closures</td>
+ <td class="snns file yellow">fsupp ( ⦃?,?⦄ ⊃+ ⦃?,?⦄ )</td>
+ <td class="snnn file yellow">fsupp_fsupp</td>