EVOLUTION-MANAGER

Edit File: setInterval.xml

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