<math display="block" xmlns="http://www.w3.org/1998/Math/MathML"> <mi mathvariant="normal">∅</mi> <mo lspace="0.278em" rspace="0">⊧</mo> <mo lspace="0.278em" rspace="0" stretchy="false">(</mo> <mo lspace="0" rspace="0" stretchy="false">(</mo> <mi>𝑝</mi> <mo lspace="0.278em" rspace="0.278em" stretchy="false">⇒</mo> <mi>𝑞</mi> <mo lspace="0" rspace="0" stretchy="false">)</mo> <mo lspace="0.278em" rspace="0" stretchy="false">⇒</mo> <mo lspace="0.278em" rspace="0" stretchy="false">(</mo> <mi>𝑞</mi> <mo lspace="0.278em" rspace="0.278em" stretchy="false">⇒</mo> <mi>𝑟</mi> <mo lspace="0" rspace="0" stretchy="false">)</mo> <mo lspace="0" rspace="0" stretchy="false">)</mo> <mo lspace="0.278em" rspace="0" stretchy="false">⇒</mo> <mo lspace="0.278em" rspace="0" stretchy="false">(</mo> <mi>𝑝</mi> <mo lspace="0.278em" rspace="0" stretchy="false">⇒</mo> <mo lspace="0.278em" rspace="0" stretchy="false">(</mo> <mi>𝑞</mi> <mo lspace="0.278em" rspace="0.278em" stretchy="false">⇒</mo> <mi>𝑟</mi> <mo lspace="0" rspace="0" stretchy="false">)</mo> <mo lspace="0" rspace="0" stretchy="false">)</mo> </math> <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> <mi mathvariant="normal">s</mi> <mi mathvariant="normal">i</mi> <mi mathvariant="normal">n</mi> </mrow> <mo lspace="0" rspace="0" stretchy="false">(</mo> <mi>𝑥</mi> <mo lspace="0" rspace="0" stretchy="false">)</mo> <mo lspace="0.222em" rspace="0.222em">−</mo> <mrow> <mi mathvariant="normal">s</mi> <mi mathvariant="normal">i</mi> <mi mathvariant="normal">n</mi> </mrow> <mo lspace="0" rspace="0" stretchy="false">(</mo> <mi>𝑥</mi> <mo lspace="0.222em" rspace="0.222em">+</mo> <mn>2</mn> <mi>𝜋</mi> <mo lspace="0" rspace="0" stretchy="false">)</mo> <mo lspace="0.278em" rspace="0.278em">=</mo> <mn>0</mn> </math>