packages feed

texmath-0.6: tests/axiom_of_power_set.xhtml

<?xml version='1.0' ?>
<html xmlns="http://www.w3.org/1999/xhtml">
  <head>
    <meta content="application/xhtml+xml; charset=UTF-8" http-equiv="Content-Type" />
  </head>
  <body>
    <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" />
        <mo stretchy="false">[</mo>
        <mi>B</mi>
        <mo>∈</mo>
        <mi>P</mi>
        <mo>⇔</mo>
        <mo>∀</mo>
        <mi>C</mi>
        <mspace width="0.167em" />
        <mo stretchy="false">(</mo>
        <mi>C</mi>
        <mo>∈</mo>
        <mi>B</mi>
        <mo>⇒</mo>
        <mi>C</mi>
        <mo>∈</mo>
        <mi>A</mi>
        <mo stretchy="false">)</mo>
        <mo stretchy="false">]</mo>
      </mrow>
    </math>
  </body>
</html>