Aim:

To test how well the translator copes with OpenMath symbols having no equivalent MathML element. We want to determine if they are properly translated and preserve their structure and meaning.