<?xml version="1.0"?>
<!DOCTYPE reln SYSTEM "mathml.dtd" [
 <!ENTITY infty "infinity">
]>
<reln> <eq/>
        <set>
          <bvar>  <ci>x</ci>  </bvar>
          <condition>
            <reln> <geq/><ci>x</ci><cn>0</cn>   </reln>
          </condition>
        </set>

        <interval closure='closed-open'>
          <cn>0</cn>
          <ci>&infty;</ci>
        </interval>
      </reln>
