OpenMath is an extensible standard for representing the semantics of mathematical objects.
https://openmath.org
The normative version of this standard was distributed as a pdf file.
XML versions of version 1.0 are also available: Docbook+SVG+MathML or XHTML+MathML+SVG.