Open markuspf opened 8 years ago
I would suggest having such objects treated in the same way like basic objects such as integers/floats/rationals/permutations etc. OpenMath has special symbols for them:
<OMOBJ> <OMS cd=\"setname1\" name=\"Q\"/> </OMOBJ>
<OMOBJ> <OMS cd=\"setname1\" name=\"Z\"/> </OMOBJ>
etc.