mathml 2 1 http://www.openmath.org/cdgroups/mathml.cdg MathML compatibility CD Group Algebra alg1 http://www.openmath.org/cd/alg1.ocd Arithmetic arith1 http://www.openmath.org/cd/arith1.ocd Constructor for Floating Point Numbers bigfloat1 http://www.openmath.org/cd/bigfloat1.ocd Calculus calculus1 http://www.openmath.org/cd/calculus1.ocd Operations on and constructors for complex numbers complex1 http://www.openmath.org/cd/complex1.ocd Functions on functions fns1 http://www.openmath.org/cd/fns1.ocd Integer arithmetic integer1 http://www.openmath.org/cd/integer1.ocd Intervals interval1 http://www.openmath.org/cd/interval1.ocd Linear Algebra - vector & matrix constructors, those symbols which are independant of orientation, but in MathML linalg1 http://www.openmath.org/cd/linalg1.ocd Linear Algebra - vector & matrix constructors, those symbols which are dependant of orientation, and in MathML linalg2 http://www.openmath.org/cd/linalg2.ocd Limits of unary functions limit1 http://www.openmath.org/cd/limit1.ocd List constructors list1 http://www.openmath.org/cd/list1.ocd Basic logical operators logic1 http://www.openmath.org/cd/logic1.ocd MathML Numerical Types mathmltypes http://www.openmath.org/cd/mathmltypes.ocd MathML attributes mathmlattr http://www.openmath.org/cd/mathmlattr.ocd MathML Keys mathmlkeys http://www.openmath.org/cd/mathmlkeys.ocd Minima and maxima minmax1 http://www.openmath.org/cd/minmax1.ocd Multset-theoretic operators and constructors multiset1 http://www.openmath.org/cd/multiset1.ocd Symbols for creating numbers, including some defined constants (which can be seen as nullary constructors) nums1 http://www.openmath.org/cd/nums1.ocd Symbols for creating piecewise definitions piece1 http://www.openmath.org/cd/piece1.ocd The basic quantifiers forall and exists. quant1 http://www.openmath.org/cd/quant1.ocd Common arithmetic relations relation1 http://www.openmath.org/cd/relation1.ocd Number sets setname1 http://www.openmath.org/cd/setname1.ocd Rounding rounding1 http://www.openmath.org/cd/rounding1.ocd Set-theoretic operators and constructors set1 http://www.openmath.org/cd/set1.ocd Basic data orientated statistical operators s_data1 http://www.openmath.org/cd/s_data1.ocd Basic random variable orientated statistical operators s_dist1 http://www.openmath.org/cd/s_dist1.ocd Basic transcendental functions transc1 http://www.openmath.org/cd/transc1.ocd Vector calculus functions veccalc1 http://www.openmath.org/cd/veccalc1.ocd Alternative encoding symbols for compatibility with the MathML Semantic mapping constructs. altenc http://www.openmath.org/cd/altenc.ocd