<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML">
<mml:mrow>
<mml:mrow>
<mml:mo class="MathClass-open">〈</mml:mo>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi>x</mml:mi>
</mml:mrow>
<mml:mo class="MathClass-op">^</mml:mo>
</mml:mover>
<mml:mo class="MathClass-bin">-</mml:mo>
<mml:mi>y</mml:mi>
<mml:mo class="MathClass-punc">,</mml:mo>
<mml:mi>J</mml:mi>
<mml:mi>x</mml:mi>
<mml:mo class="MathClass-bin">-</mml:mo>
<mml:mi>J</mml:mi>
<mml:mover accent="true">
<mml:mrow>
<mml:mi>x</mml:mi>
</mml:mrow>
<mml:mo class="MathClass-op">^</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mo class="MathClass-close">〉</mml:mo>
</mml:mrow>
<mml:mo class="MathClass-bin">+</mml:mo>
<mml:mi>ρ</mml:mi>
<mml:mi>f</mml:mi>
<mml:mrow>
<mml:mo class="MathClass-open">(</mml:mo>
<mml:mrow>
<mml:mi>y</mml:mi>
</mml:mrow>
<mml:mo class="MathClass-close">)</mml:mo>
</mml:mrow>
<mml:mo class="MathClass-bin">-</mml:mo>
<mml:mi>ρ</mml:mi>
<mml:mi>f</mml:mi>
<mml:mrow>
<mml:mo class="MathClass-open">(</mml:mo>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi>x</mml:mi>
</mml:mrow>
<mml:mo class="MathClass-op">^</mml:mo>
</mml:mover>
</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:mspace class="quad" width="1em"/>
<mml:mo class="MathClass-op">∀</mml:mo>
<mml:mi>y</mml:mi>
<mml:mo class="MathClass-rel">∈</mml:mo>
<mml:mi>C</mml:mi>
<mml:mo class="MathClass-punc">;</mml:mo>
</mml:mrow>
</mml:math>