- <td class="snns file orange">lsubs ( ? ≼[?,?] ? )</td>
- <td class="snnn file orange">(lsubs_lsubs)</td>
- <td class="snnn file orange">lsubs_sfr ( ≽[?,?] ? )</td>
+ <td class="snns file orange">lsubr ( ? ⊑[?,?] ? )</td>
+ <td class="snnn file orange">(lsubr_lsubr)</td>
+ <td class="snnn file orange">lsubr_lbotr ( ⊒[?,?] ? )</td>