<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML">
<mml:mrow>
<mml:mi>∂</mml:mi>
<mml:mi>f</mml:mi>
<mml:mrow>
<mml:mo class="MathClass-open">(</mml:mo>
<mml:mrow>
<mml:mi>u</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-open">{</mml:mo>
<mml:mrow>
<mml:msup>
<mml:mrow>
<mml:mi>u</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mo class="MathClass-bin">*</mml:mo>
</mml:mrow>
</mml:msup>
<mml:mo class="MathClass-rel">∈</mml:mo>
<mml:msup>
<mml:mrow>
<mml:mi>X</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mo class="MathClass-bin">*</mml:mo>
</mml:mrow>
</mml:msup>
<mml:mo class="MathClass-rel">:</mml:mo>
<mml:mrow>
<mml:mo class="MathClass-open">⟨</mml:mo>
<mml:mrow>
<mml:msup>
<mml:mrow>
<mml:mi>u</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mo class="MathClass-bin">*</mml:mo>
</mml:mrow>
</mml:msup>
<mml:mo class="MathClass-punc">,</mml:mo>
<mml:mi>φ</mml:mi>
</mml:mrow>
<mml:mo class="MathClass-close">⟩</mml:mo>
</mml:mrow>
<mml:mo class="MathClass-rel">≤</mml:mo>
<mml:msup>
<mml:mrow>
<mml:mi>f</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mn>0</mml:mn>
</mml:mrow>
</mml:msup>
<mml:mrow>
<mml:mo class="MathClass-open">(</mml:mo>
<mml:mrow>
<mml:mi>u</mml:mi>
<mml:mo class="MathClass-punc">;</mml:mo>
<mml:mi>φ</mml:mi>
</mml:mrow>
<mml:mo class="MathClass-close">)</mml:mo>
</mml:mrow>
<mml:mspace class="quad" width="1em"/>
<mml:mtext>for all</mml:mtext>
<mml:mspace class="tmspace" width="2.77695pt"/>
<mml:mi>φ</mml:mi>
<mml:mo class="MathClass-rel">∈</mml:mo>
<mml:mi>X</mml:mi>
</mml:mrow>
<mml:mo class="MathClass-close">}</mml:mo>
</mml:mrow>
<mml:mo class="MathClass-punc">,</mml:mo>
</mml:mrow>
</mml:math>