OpenMath is an extensible standard for representing the semantics of mathematical objects.
https://openmath.org
We have the beginnings of a new OpenMath web site based on github pages.