>(<span
 style="font-style: italic; font-weight: bold;">L</span>) = <span
 style="font-family: arial;">theorem</span>(<span
 style="font-style: italic; font-weight: bold;">L</span>) : <span
 style="font-family: arial;">closed-theory</span>(<span
 style="font-style: italic; font-weight: bold;">L</span>) &#8594; <big><span
 style="font-family: script mt bold;">P</span></big><span
 style="font-family: arial;">expression</span>(<span
 style="font-style: italic; font-weight: bold;">L</span>)<br>
      <span styl