OpenMath is an extensible standard for representing the semantics of mathematical objects.
https://openmath.github.io
Type System: sts Content Dictionary: omtypes CD Signature File: omtypes.sts
No Signatures are currently supplied for the symbols defined in the omtypes Content Dictionary