Here is the source again: 1 2 ]]> Mathematica expands the expression and puts the resulting OpenMath output is stored in the variable expr. The result can then be shown as follows: 1 2 ]]> The result is . Note that the expression is not expanded.