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 |