/x-openmath.xsl nums1 rational http://www.openmath.org/OpenMath 2.0 http://www.openmath.org/OpenMath 2.0 http://www.openmath.org/OpenMath 2.0 cc interval1 interval_ http://www.openmath.org/OpenMath 2.0 linalg3 vector