-- -*- M2-comint -*- {* hash: -744127535 *} i1 : v = openMath 42 o1 = <OMI "42" o1 : XMLnode i2 : toLibxmlNode v o2 = <OMI>42</OMI> o2 : LibxmlNode 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 i5 :