WIRIS OpenMath tools