Ideas.Encoding.OpenMathSupport

Conversion functions to/from OpenMath

toOpenMath

fromOpenMath

noMixedFractions

toOMOBJ

fromOMOBJ