MathDox formula editor

This page shows the mathdox formulaeditor with a visible textarea (usually hidden), that will show the OpenMath (and presentation MathML) output for the current expression. Not all supported symbols are shown in the palette (transc1 is completely supported). Furthermore it is possible to add additional OpenMath symbols in prefix notation: private.fun(private.cons)

OpenMath conversion

<OMOBJ version='2.0' xmlns='http://www.openmath.org/OpenMath'> <!-- comments now allowed --> <OMS cd='editor1' name='input_box'/> </OMOBJ> Update MathML Update GAP