-- -*- M2-comint -*- hash: 8357035836396897233

i1 : v = openMath 42

o1 = <OMI "42"

o1 : XMLnode

i2 : toLibxmlNode v

o2 = <OMI>42</OMI>

o2 : LibxmlNode (xmlTypeDescription)

i3 : v = openMath (hold 2*3)

o3 = <OMA
       <OMS cd="arith1" name="times"
       <OMI "2"
       <OMI "3"

o3 : XMLnode

i4 : toLibxmlNode v

o4 = <OMA>
           <OMS cd="arith1" name="times"/>
           <OMI>2</OMI>
           <OMI>3</OMI>
         </OMA>

o4 : LibxmlNode (xmlTypeDescription)

i5 : 
