<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML">
<mml:mrow>
<mml:munder class="msub">
<mml:mrow>
<mml:mstyle class="text">
<mml:mtext class="textsf" mathvariant="sans-serif">sup</mml:mtext>
</mml:mstyle>
</mml:mrow>
<mml:mrow>
<mml:mi>t</mml:mi>
<mml:mo class="MathClass-rel">∈</mml:mo>
<mml:msup>
<mml:mrow>
<mml:mi>R</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mo class="MathClass-bin">+</mml:mo>
</mml:mrow>
</mml:msup>
</mml:mrow>
</mml:munder>
<mml:mrow>
<mml:mo class="MathClass-open">{</mml:mo>
<mml:mrow>
<mml:mo class="MathClass-rel">|</mml:mo>
<mml:msup>
<mml:mrow>
<mml:mi>ϕ</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi>′</mml:mi>
</mml:mrow>
</mml:msup>
<mml:mrow>
<mml:mo class="MathClass-open">(</mml:mo>
<mml:mrow>
<mml:mi>t</mml:mi>
</mml:mrow>
<mml:mo class="MathClass-close">)</mml:mo>
</mml:mrow>
<mml:mo class="MathClass-rel">|</mml:mo>
</mml:mrow>
<mml:mo class="MathClass-bin">+</mml:mo>
<mml:mrow>
<mml:mo class="MathClass-rel">|</mml:mo>
<mml:msup>
<mml:mrow>
<mml:mi>ψ</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi>′</mml:mi>
</mml:mrow>
</mml:msup>
<mml:mrow>
<mml:mo class="MathClass-open">(</mml:mo>
<mml:mrow>
<mml:mi>t</mml:mi>
</mml:mrow>
<mml:mo class="MathClass-close">)</mml:mo>
</mml:mrow>
<mml:mo class="MathClass-rel">|</mml:mo>
</mml:mrow>
<mml:mo class="MathClass-close">}</mml:mo>
</mml:mrow>
<mml:mo class="MathClass-op">≐</mml:mo>
<mml:mi>M</mml:mi>
<mml:mo class="MathClass-rel"><</mml:mo>
<mml:mi>∞</mml:mi>
<mml:mo class="MathClass-punc">,</mml:mo>
<mml:mspace class="quad" width="1em"/>
<mml:mspace class="quad" width="1em"/>
<mml:mspace class="quad" width="1em"/>
<mml:munder class="msub">
<mml:mrow>
<mml:mstyle class="text">
<mml:mtext class="textsf" mathvariant="sans-serif">sup</mml:mtext>
</mml:mstyle>
</mml:mrow>
<mml:mrow>
<mml:mi>t</mml:mi>
<mml:mo class="MathClass-rel">∈</mml:mo>
<mml:msup>
<mml:mrow>
<mml:mi>R</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mo class="MathClass-bin">+</mml:mo>
</mml:mrow>
</mml:msup>
</mml:mrow>
</mml:munder>
<mml:mrow>
<mml:mo class="MathClass-open">{</mml:mo>
<mml:mrow>
<mml:mo class="MathClass-rel">|</mml:mo>
<mml:mi>ϕ</mml:mi>
<mml:mrow>
<mml:mo class="MathClass-open">(</mml:mo>
<mml:mrow>
<mml:mi>t</mml:mi>
</mml:mrow>
<mml:mo class="MathClass-close">)</mml:mo>
</mml:mrow>
<mml:mo class="MathClass-rel">|</mml:mo>
<mml:mo class="MathClass-bin">+</mml:mo>
<mml:mo class="MathClass-rel">|</mml:mo>
<mml:mi>ψ</mml:mi>
<mml:mrow>
<mml:mo class="MathClass-open">(</mml:mo>
<mml:mrow>
<mml:mi>t</mml:mi>
</mml:mrow>
<mml:mo class="MathClass-close">)</mml:mo>
</mml:mrow>
<mml:mo class="MathClass-rel">|</mml:mo>
</mml:mrow>
<mml:mo class="MathClass-close">}</mml:mo>
</mml:mrow>
<mml:mo class="MathClass-op">≐</mml:mo>
<mml:msub>
<mml:mrow>
<mml:mi>M</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>0</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo class="MathClass-rel"><</mml:mo>
<mml:mi>∞</mml:mi>
</mml:mrow>
</mml:math>