texmath-0.12.2: tests/writers/axiom_of_power_set.mml

<?xml version='1.0' ?>
<math display="block" xmlns="http://www.w3.org/1998/Math/MathML">
  <mrow>
    <mo>∀</mo>
    <mi>A</mi>
    <mspace width="0.167em" />
    <mo>∃</mo>
    <mi>P</mi>
    <mspace width="0.167em" />
    <mo>∀</mo>
    <mi>B</mi>
    <mspace width="0.167em" />
    <mrow>
      <mo stretchy="true" form="prefix">[</mo>
      <mi>B</mi>
      <mo>∈</mo>
      <mi>P</mi>
      <mo>⇔</mo>
      <mo>∀</mo>
      <mi>C</mi>
      <mspace width="0.167em" />
      <mrow>
        <mo stretchy="true" form="prefix">(</mo>
        <mi>C</mi>
        <mo>∈</mo>
        <mi>B</mi>
        <mo>⇒</mo>
        <mi>C</mi>
        <mo>∈</mo>
        <mi>A</mi>
        <mo stretchy="true" form="postfix">)</mo>
      </mrow>
      <mo stretchy="true" form="postfix">]</mo>
    </mrow>
  </mrow>
</math>