<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML">
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mi>Θ</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>2</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo class="MathClass-rel">≡</mml:mo>
<mml:mrow>
<mml:mo class="MathClass-open">{</mml:mo>
<mml:mrow>
<mml:mi>Ψ</mml:mi>
<mml:mo class="MathClass-rel">∈</mml:mo>
<mml:msup>
<mml:mrow>
<mml:mi>C</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>1</mml:mn>
<mml:mo class="MathClass-punc">,</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
</mml:msup>
<mml:mrow>
<mml:mo class="MathClass-open">(</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mrow>
<mml:mover accent="false" class="mml-overline">
<mml:mrow>
<mml:mo>Ω</mml:mo>
</mml:mrow>
<mml:mo accent="true">¯</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mi>T</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
<mml:mo class="MathClass-close">)</mml:mo>
</mml:mrow>
<mml:mo class="MathClass-punc">;</mml:mo>
<mml:mi>Ψ</mml:mi>
<mml:mrow>
<mml:mo class="MathClass-open">(</mml:mo>
<mml:mrow>
<mml:mi>x</mml:mi>
<mml:mo class="MathClass-punc">,</mml:mo>
<mml:mi>t</mml:mi>
</mml:mrow>
<mml:mo class="MathClass-close">)</mml:mo>
</mml:mrow>
<mml:mo class="MathClass-rel">≥</mml:mo>
<mml:mn>0</mml:mn>
<mml:mo class="MathClass-punc">;</mml:mo>
<mml:mi>Ψ</mml:mi>
<mml:mrow>
<mml:mo class="MathClass-open">(</mml:mo>
<mml:mrow>
<mml:mi>x</mml:mi>
<mml:mo class="MathClass-punc">,</mml:mo>
<mml:mi>T</mml:mi>
</mml:mrow>
<mml:mo class="MathClass-close">)</mml:mo>
</mml:mrow>
<mml:mo class="MathClass-rel">=</mml:mo>
<mml:mn>0</mml:mn>
<mml:mo class="MathClass-punc">;</mml:mo>
<mml:mi>Ψ</mml:mi>
<mml:mrow>
<mml:mo class="MathClass-open">(</mml:mo>
<mml:mrow>
<mml:mi>x</mml:mi>
<mml:mo class="MathClass-punc">,</mml:mo>
<mml:mi>t</mml:mi>
</mml:mrow>
<mml:mo class="MathClass-close">)</mml:mo>
</mml:mrow>
<mml:mo class="MathClass-rel">=</mml:mo>
<mml:mn>0</mml:mn>
<mml:mspace class="tmspace" width="2.77695pt"/>
<mml:mstyle mathvariant="normal">
<mml:mi>o</mml:mi>
<mml:mi>n</mml:mi>
</mml:mstyle>
<mml:mspace class="tmspace" width="2.77695pt"/>
<mml:msub>
<mml:mrow>
<mml:mi>S</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mi>T</mml:mi>
</mml:mrow>
</mml:msub>
</mml:mrow>
<mml:mo class="MathClass-close">}</mml:mo>
</mml:mrow>
<mml:mo class="MathClass-punc">.</mml:mo>
</mml:mrow>
</mml:math>