Results:

The translator automatically detected the unknown symbols and enveloped them inside <semantic> tags. The translator worked well in cases where the OpenMath symbol translated was constructed by application. An example of this is the rank operator seen in figure 3.5. In other cases (such as binding) the results were poor and in many cases incorrect.