rec-floor2

W3C sample	WIRIS
	$\forall a\colon (\lfloor a\rfloor \le a)\land (a< \lfloor a\rfloor +1)$

<math xmlns="http://www.w3.org/1998/Math/MathML">
  <apply>
    <forall/>
    <bvar>
      <ci>a</ci>
    </bvar>
    <apply>
      <and/>
      <apply>
        <leq/>
        <apply>
          <floor/>
          <ci>a</ci>
        </apply>
        <ci>a</ci>
      </apply>
      <apply>
        <lt/>
        <ci>a</ci>
        <apply>
          <plus/>
          <apply>
            <floor/>
            <ci>a</ci>
          </apply>
          <cn>1</cn>
        </apply>
      </apply>
    </apply>
  </apply>
</math>

Author: MathML 2 Recommendation