OpenMath is an extensible standard for representing the semantics of mathematical objects.
https://openmath.org
Sorry, we've misplaced that URL or it's pointing to something that doesn't exist. Head back home to try finding it again.