OpenMath is an extensible standard for representing the semantics of mathematical objects.
https://un5mvxtq8yud6zm5.julianrbryant.com
mathmlkeys defines the following Names, but STS signatures are not currently available.