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