ag-gipp/GoUldI

<math 
  xmlns="http://www.w3.org/1998/Math/MathML">
  <semantics>
    <mrow>
      <mi>p</mi>
      <mo stretchy="false">⟺</mo>
      <mi>q</mi>
    </mrow>
    <annotation encoding="TeX">p \iff q</annotation>
  </semantics>
</math>