OpenMath is an extensible standard for representing the semantics of mathematical objects.
https://openmath.org
weylalgebra1 defines the following Names, but STS signatures are not currently available.