#321;</span>)<br>
      </td>
    </tr>
    <tr>
      <td style="vertical-align: top;"><span style="font-family: arial;">left-adjoint</span>(<span
 style="font-style: italic; font-weight: bold;">f</span>)&nbsp; = <span
 style="font-family: arial; font-style: italic;">expr</span>(<span
 style="font-style: italic; font-weight: bold;">f</span>)<small><sup>&#8211;1</sup></small>
: <span style="font-family: arial;">closed-theory</span>(<span
 style="font-style: italic; font-weight: bold;">&#321;</span>) &#8594;