[FIRST] [PREV] [NEXT] [LAST]

An Example of the OpenMath Encoding

We give an OpenMath encoding for an equation.

Example Encoding