OpenMath is an extensible standard for representing the semantics of mathematical objects.

https://openmath.org