Encoding an abelian group in MathML.
For an abelian group we have to encode a set and an operation.
Operations are given by formulas as seen in the example. The actual MathML standard is powerful enough to handle operations of various kinds.
The MathML standard has to be extended for encoding sets suitable for cryptography. It is sufficient to introduce one single new tag, namely <polynomialring/>.