+ <td class="snns file yellow">lleq ( ? ≡[?,?] ? )</td>
+ <td class="snnn file yellow">lleq_alt lleq_alt_rec lleq_leq lleq_drop lleq_fqus lleq_llor lleq_lleq</td>
+ <td class="snnn file yellow">
+ <br />
+ </td>
+ <td class="ssnn file yellow">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns component yellow">
+ <br />
+ </td>
+ <td class="snns plane yellow">lazy pointwise extension of a relation</td>
+ <td class="snns file yellow">llpx_sn</td>
+ <td class="snnn file yellow">llpx_sn_alt llpx_sn_alt_rec llpx_sn_tc llpx_sn_leq llpx_sn_drop llpx_sn_lpx_sn llpx_sn_frees llpx_sn_llor</td>
+ <td class="snnn file yellow">
+ <br />
+ </td>
+ <td class="ssnn file yellow">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns component yellow">
+ <br />
+ </td>
+ <td class="snns plane yellow">pointwise union for local environments</td>
+ <td class="snns file yellow">llor ( ? ⩖[?,?] ? ≡ ? )</td>
+ <td class="snnn file yellow">llor_alt llor_drop</td>
+ <td class="snnn file yellow">
+ <br />
+ </td>
+ <td class="ssnn file yellow">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns component yellow">
+ <br />
+ </td>
+ <td class="snns plane yellow">context-sensitive exclusion from free variables</td>
+ <td class="snns file yellow">frees ( ? ⊢ ? ϵ 𝐅*[?]⦃?⦄ )</td>
+ <td class="snnn file yellow">frees_append frees_leq frees_lift</td>