Display:

$\lceil a\rceil \forall a\colon (\lceil a\rceil -1< a)\land (a\le \lceil a\rceil )$

Source:

<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>