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)
|
The object openMath is a method function.