 <span
 style="font-family: arial;">closed-theory</span>(<span
 style="font-style: italic; font-weight: bold;">L</span>)<br>
      <span style="font-family: arial;">right-adjoint</span>(<span
 style="font-style: italic; font-weight: bold;">f</span>)&nbsp; = <span
 style="font-family: arial;">clo</span>(<big><span
 style="font-family: script mt bold;">P</span></big><span
 style="font-family: arial; font-style: italic;">expr</span>(<span
 style="font-weight: bold; font-style: italic;">f</span>)) : <span
 styl