52 lines
2.7 KiB
Plaintext
52 lines
2.7 KiB
Plaintext
<math display="block" xmlns:tex="http://typesetting.eu/2021/LuaMathML" xmlns="http://www.w3.org/1998/Math/MathML">
|
||
<mi mathvariant="normal" tex:family="2">∅</mi>
|
||
<mo lspace="0.278em" rspace="0" tex:class="rel">⊧</mo>
|
||
<mo lspace="0.278em" rspace="0" stretchy="false" tex:class="open">(</mo>
|
||
<mo lspace="0" rspace="0" stretchy="false" tex:class="open">(</mo>
|
||
<mi tex:family="1">𝑝</mi>
|
||
<mo lspace="0.278em" rspace="0.278em" stretchy="false" tex:class="rel" tex:family="2">⇒</mo>
|
||
<mi tex:family="1">𝑞</mi>
|
||
<mo lspace="0" rspace="0" stretchy="false" tex:class="close">)</mo>
|
||
<mo lspace="0.278em" rspace="0" stretchy="false" tex:class="rel" tex:family="2">⇒</mo>
|
||
<mo lspace="0.278em" rspace="0" stretchy="false" tex:class="open">(</mo>
|
||
<mi tex:family="1">𝑞</mi>
|
||
<mo lspace="0.278em" rspace="0.278em" stretchy="false" tex:class="rel" tex:family="2">⇒</mo>
|
||
<mi tex:family="1">𝑟</mi>
|
||
<mo lspace="0" rspace="0" stretchy="false" tex:class="close">)</mo>
|
||
<mo lspace="0" rspace="0" stretchy="false" tex:class="close">)</mo>
|
||
<mo lspace="0.278em" rspace="0" stretchy="false" tex:class="rel" tex:family="2">⇒</mo>
|
||
<mo lspace="0.278em" rspace="0" stretchy="false" tex:class="open">(</mo>
|
||
<mi tex:family="1">𝑝</mi>
|
||
<mo lspace="0.278em" rspace="0" stretchy="false" tex:class="rel" tex:family="2">⇒</mo>
|
||
<mo lspace="0.278em" rspace="0" stretchy="false" tex:class="open">(</mo>
|
||
<mi tex:family="1">𝑞</mi>
|
||
<mo lspace="0.278em" rspace="0.278em" stretchy="false" tex:class="rel" tex:family="2">⇒</mo>
|
||
<mi tex:family="1">𝑟</mi>
|
||
<mo lspace="0" rspace="0" stretchy="false" tex:class="close">)</mo>
|
||
<mo lspace="0" rspace="0" stretchy="false" tex:class="close">)</mo>
|
||
</math>
|
||
<math xmlns:tex="http://typesetting.eu/2021/LuaMathML" xmlns="http://www.w3.org/1998/Math/MathML">
|
||
<mrow tex:class="opnolimits">
|
||
<mi mathvariant="normal">s</mi>
|
||
<mi mathvariant="normal">i</mi>
|
||
<mi mathvariant="normal">n</mi>
|
||
</mrow>
|
||
<mo lspace="0" rspace="0" stretchy="false" tex:class="open">(</mo>
|
||
<mi tex:family="1">𝑥</mi>
|
||
<mo lspace="0" rspace="0" stretchy="false" tex:class="close">)</mo>
|
||
<mo lspace="0.222em" rspace="0.222em" tex:class="bin" tex:family="2">−</mo>
|
||
<mrow tex:class="opnolimits">
|
||
<mi mathvariant="normal">s</mi>
|
||
<mi mathvariant="normal">i</mi>
|
||
<mi mathvariant="normal">n</mi>
|
||
</mrow>
|
||
<mo lspace="0" rspace="0" stretchy="false" tex:class="open">(</mo>
|
||
<mi tex:family="1">𝑥</mi>
|
||
<mo lspace="0.222em" rspace="0.222em" tex:class="bin">+</mo>
|
||
<mn>2</mn>
|
||
<mi tex:family="1">𝜋</mi>
|
||
<mo lspace="0" rspace="0" stretchy="false" tex:class="close">)</mo>
|
||
<mo lspace="0.278em" rspace="0.278em" tex:class="rel">=</mo>
|
||
<mn>0</mn>
|
||
</math>
|