+ <td class="snns top capitalize italic cyan">uncounted parallel rst-transition</td>
+ <td class="snns top italic cyan">for closures</td>
+ <td class="snns top cyan">fpbq ( ⦃?,?,?⦄ ≽[?] ⦃?,?,?⦄ )</td>
+ <td class="ssnn top cyan">fpbq_aaa</td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic cyan">
+ <br />
+ </td>
+ <td class="nnns top capitalize italic cyan">
+ <br />
+ </td>
+ <td class="snns top italic cyan">proper for closures</td>
+ <td class="snns top cyan">fpb ( ⦃?,?,?⦄ ≻[?] ⦃?,?,?⦄ )</td>
+ <td class="ssnn top cyan">fpb_lfdeq</td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic cyan">
+ <br />
+ </td>
+ <td class="snns top capitalize italic cyan">context-sensitive parallel r-transition</td>
+ <td class="snns top italic cyan">for lenvs on referred entries</td>
+ <td class="snns top cyan">lfpr ( ⦃?,?⦄ ⊢ ➡[?,?] ? )</td>
+ <td class="ssnn top cyan">lfpr_length lfpr_drops lfpr_fquq lfpr_fqup lfpr_frees lfpr_aaa lfpr_lfpx lfpr_lfpr</td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic cyan">
+ <br />
+ </td>
+ <td class="nnns top capitalize italic cyan">
+ <br />
+ </td>
+ <td class="snns top italic cyan">for binders</td>
+ <td class="snns top cyan">cpr_ext ( ⦃?,?⦄ ⊢ ? ➡[?] ? )</td>
+ <td class="ssnn top cyan">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic cyan">
+ <br />
+ </td>
+ <td class="nnns top capitalize italic cyan">
+ <br />
+ </td>
+ <td class="snns top italic cyan">for terms</td>
+ <td class="snns top cyan">cpr ( ⦃?,?⦄ ⊢ ? ➡[?] ? )</td>
+ <td class="ssnn top cyan">cpr_drops</td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic cyan">
+ <br />
+ </td>
+ <td class="snns top capitalize italic cyan">t-bound context-sensitive parallel rt-transition</td>
+ <td class="snns top italic cyan">for terms</td>
+ <td class="snns top cyan">cpm ( ⦃?,?⦄ ⊢ ? ➡[?,?] ? )</td>
+ <td class="ssnn top cyan">cpm_simple cpm_drops cpm_lsubr cpm_lfxs cpm_cpx</td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic cyan">
+ <br />
+ </td>
+ <td class="snns top capitalize italic cyan">uncounted context-sensitive parallel rt-transition</td>
+ <td class="snns top italic cyan">normal form for terms</td>
+ <td class="snns top cyan">cnx ( ⦃?,?⦄ ⊢ ⬈[?,?] 𝐍⦃?⦄ )</td>
+ <td class="ssnn top cyan">cnx_simple cnx_drops cnx_cnx</td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic cyan">
+ <br />
+ </td>
+ <td class="nnns top capitalize italic cyan">
+ <br />
+ </td>
+ <td class="snns top italic cyan">for lenvs on referred entries</td>
+ <td class="snns top cyan">lfpx ( ⦃?,?⦄ ⊢ ⬈[?,?] ? )</td>
+ <td class="ssnn top cyan">lfpx_length lfpx_drops lfpx_fqup lfpx_frees lfpx_lfdeq lfpx_aaa lfpx_cpx lfpx_lfpx</td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic cyan">
+ <br />
+ </td>
+ <td class="nnns top capitalize italic cyan">
+ <br />
+ </td>
+ <td class="snns top italic cyan">for lenvs on all entries</td>
+ <td class="snns top cyan">lpx ( ⦃?,?⦄ ⊢ ⬈[?] ? )</td>
+ <td class="ssnn top cyan">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic cyan">
+ <br />
+ </td>
+ <td class="nnns top capitalize italic cyan">
+ <br />
+ </td>
+ <td class="snns top italic cyan">for binders</td>
+ <td class="snns top cyan">cpx_ext ( ⦃?,?⦄ ⊢ ? ⬈[?] ? )</td>
+ <td class="ssnn top cyan">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic cyan">
+ <br />
+ </td>
+ <td class="nnns top capitalize italic cyan">
+ <br />
+ </td>
+ <td class="snns top italic cyan">for terms</td>
+ <td class="snns top cyan">cpx ( ⦃?,?⦄ ⊢ ? ⬈[?] ? )</td>
+ <td class="ssnn top cyan">cpx_simple cpx_drops cpx_fqus cpx_lsubr cpx_lfxs cpx_lfeq</td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic cyan">
+ <br />
+ </td>
+ <td class="snns top capitalize italic cyan">counted context-sensitive parallel rt-transition</td>
+ <td class="snns top italic cyan">for terms</td>