Welcome to the OpenMath website. OpenMath is an extensible standard for representing the semantics of mathematical objects. If you haven't heard about it before you might want to consult the overview.