="font-family: arial;">axm</span>(<span
 style="font-style: italic; font-weight: bold;">T</span><small><sub>1</sub></small>)
    </p>
    <p style="margin-left: 20px;">using the IFF axiom function</p>
    <p style="margin-left: 40px;"> <span
 style="font-family: arial; font-style: italic;">axm</span>(<span
 style="font-style: italic; font-weight: bold;">L</span>) : <span
 style="font-family: arial; font-style: italic;">th</span>(<span
 style="font-style: italic; font-weight: bold;">L</span>) &#8594; <big><s