rec-forall3

forall/and/lt/power

W3C sample	WIRIS
	$p q p q p q p q 2$

<math xmlns="http://www.w3.org/1998/Math/MathML">
  <apply>
    <forall/>
    <bvar>
      <ci>p</ci>
    </bvar>
    <bvar>
      <ci>q</ci>
    </bvar>
    <condition>
      <apply>
        <and/>
        <apply>
          <in/>
          <ci>p</ci>
          <rationals/>
        </apply>
        <apply>
          <in/>
          <ci>q</ci>
          <rationals/>
        </apply>
        <apply>
          <lt/>
          <ci>p</ci>
          <ci>q</ci>
        </apply>
      </apply>
    </condition>
    <apply>
      <lt/>
      <ci>p</ci>
      <apply>
        <power/>
        <ci>q</ci>
        <cn>2</cn>
      </apply>
    </apply>
  </apply>
</math>

Author: MathML 2 Recomendation