data/latex2mathml/5.mml
<math><mrow><mo>∀</mo><mi>x</mi><mspace width="0.167em" /><mo>∀</mo><mi>y</mi><mspace width="0.167em" /><mi>P</mi><mrow><mo>(</mo><mi>x</mi><mi>,</mi><mi>y</mi><mo>)</mo></mrow><mo>⇔</mo><mo>∀</mo><mi>y</mi><mspace width="0.167em" /><mo>∀</mo><mi>x</mi><mspace width="0.167em" /><mi>P</mi><mrow><mo>(</mo><mi>x</mi><mi>,</mi><mi>y</mi><mo>)</mo></mrow></mrow></math>