
<!DOCTYPE math
  PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply> <ceiling/>
  <ci> a </ci>
</apply>

<apply> <forall/>
  <bvar><ci> a </ci></bvar>
  <apply><and/>
    <apply><lt/>
	  <apply><minus/>
	    <apply><ceiling/>
		  <ci>a</ci>
		</apply>
		<cn>1</cn>
	  </apply>
      <ci>a</ci>
	</apply>
    <apply><leq/>
	  <ci>a</ci>
	  <apply><ceiling/>
		<ci>a</ci>
	  </apply>
	</apply>    
  </apply>
</apply>
</math>