
  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.openmath.org/cd/alg1.ocd}} 
  
  A CD of basic algebraic concepts At present this CD only holds
  definitions of zero and one. They are deliberately defined here
  without specifying any particular structure (e.g. a group) to which
  they correspond.

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{alg1:zero}{constant}{} \\ 
\hline
  \symbolrow{alg1:one}{constant}{} \\ 
\hline
  
\end{tabular}

  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.openmath.org/cd/altenc.ocd}} 
  
  A CD of alternative encoding symbols This CD is motivated in part by
  a desire to maintain compatibility with the MathML semantics
  element, In order for it to be possible for OpenMath to express
  symbols in an alternative encoding (this facilitates the exact
  translation and representation of objects) we use the OpenMath
  attribution nodes (which performs a similar role to the MathML
  semantics nodes). The formats and descriptions of common syntaxes
  are held in this CD; at present this only includes LaTeX and MathML.

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{altenc:MathML\_encoding}{attribution}{} \\ 
\hline
  \symbolrow{altenc:LaTeX\_encoding}{attribution}{} \\ 
\hline
  
\end{tabular}

  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.openmath.org/cd/arith1.ocd}} 
  
  This CD defines symbols for common arithmetic functions. 

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{arith1:lcm}{application}{} \\ 
\hline
  \symbolrow{arith1:gcd}{application}{} \\ 
\hline
  \symbolrow{arith1:plus}{application}{} \\ 
\hline
  \symbolrow{arith1:unary\_minus}{application}{} \\ 
\hline
  \symbolrow{arith1:minus}{application}{} \\ 
\hline
  \symbolrow{arith1:times}{application}{} \\ 
\hline
  \symbolrow{arith1:divide}{application}{} \\ 
\hline
  \symbolrow{arith1:power}{application}{} \\ 
\hline
  \symbolrow{arith1:abs}{application}{} \\ 
\hline
  \symbolrow{arith1:root}{application}{} \\ 
\hline
  \symbolrow{arith1:sum}{application}{} \\ 
\hline
  \symbolrow{arith1:product}{application}{} \\ 
\hline
  
\end{tabular}

  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.openmath.org/cd/bigfloat1.ocd}} 
  
  This CD provides a common representation of "bigfloats" in a
  mantissa/ radix/exponent format. There is a further version, which
  provides an opportunity to state a precision (only required in a
  different radix). No operations are defined here -- see arith and
  alg.

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{bigfloat1:bigfloat}{application}{} \\ 
\hline
  \symbolrow{bigfloat1:bigfloatprec}{application}{} \\ 
\hline
  
\end{tabular}

  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.openmath.org/cd/calculus1.ocd}} 
  
  This CD is intended to be compatible with the calculus operations in
  Content MathML. Integration is just for the univariate case and is
  either definite or indefinite.

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{calculus1:diff}{application}{DIFF} \\ 
\hline
  \symbolrow{calculus1:nthdiff}{application}{DIFF} \\ 
\hline
  \symbolrow{calculus1:partialdiff}{application}{DIFF} \\ 
\hline
  \symbolrow{calculus1:int}{application}{INTEGRATE} \\ 
\hline
  \symbolrow{calculus1:defint}{application}{INTEGRATE} \\ 
\hline
  
\end{tabular}

  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.openmath.org/cd/complex1.ocd}} 
  
  This CD is intended to be `compatible' with the MathML view of
  operations on and constructors for complex numbers.

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{complex1:complex\_cartesian}{application}{} \\ 
\hline
  \symbolrow{complex1:real}{application}{} \\ 
\hline
  \symbolrow{complex1:imaginary}{application}{} \\ 
\hline
  \symbolrow{complex1:complex\_polar}{application}{} \\ 
\hline
  \symbolrow{complex1:argument}{application}{} \\ 
\hline
  \symbolrow{complex1:conjugate}{application}{} \\ 
\hline
  
\end{tabular}

  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.openmath.org/cd/fns1.ocd}} 
  
  This CD is intended to be `compatible' with the corresponding
  elements in Content MathML. In this CD we give a set of functions
  concerning functions themselves. Functions can be constructed from
  expressions via a lambda expression. Also there are basic function
  functions like compose, etc.

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{fns1:domainofapplication}{application}{} \\ 
\hline
  \symbolrow{fns1:domain}{application}{} \\ 
\hline
  \symbolrow{fns1:range}{application}{} \\ 
\hline
  \symbolrow{fns1:image}{application}{} \\ 
\hline
  \symbolrow{fns1:identity}{application}{} \\ 
\hline
  \symbolrow{fns1:left\_inverse}{application}{} \\ 
\hline
  \symbolrow{fns1:right\_inverse}{application}{} \\ 
\hline
  \symbolrow{fns1:inverse}{application}{} \\ 
\hline
  \symbolrow{fns1:left\_compose}{application}{} \\ 
\hline
  \symbolrow{fns1:lambda}{binder}{LAMBDA} \\ 
\hline
  
\end{tabular}

  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.openmath.org/cd/integer1.ocd}} 
  
  This CD holds a collection of basic integer functions. This CD is
  intended to be `compatible' with the corresponding elements in
  Content MathML.

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{integer1:factorof}{application}{} \\ 
\hline
  \symbolrow{integer1:factorial}{application}{} \\ 
\hline
  \symbolrow{integer1:quotient}{application}{} \\ 
\hline
  \symbolrow{integer1:remainder}{application}{} \\ 
\hline
  
\end{tabular}

  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.openmath.org/cd/interval1.ocd}} 
  
  This CD holds symbols which describe both discrete and continuous
  1-dimensional intervals (with open/closed end points).

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{interval1:integer\_interval}{application}{} \\ 
\hline
  \symbolrow{interval1:interval}{application}{} \\ 
\hline
  \symbolrow{interval1:interval\_oo}{application}{} \\ 
\hline
  \symbolrow{interval1:interval\_cc}{application}{} \\ 
\hline
  \symbolrow{interval1:interval\_oc}{application}{} \\ 
\hline
  \symbolrow{interval1:interval\_co}{application}{} \\ 
\hline
  
\end{tabular}

  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.openmath.org/cd/limit1.ocd}} 
  
  This CD holds the basic notion of the limits of unary functions
  whilst its variable tend (either from above, below or both sides) to
  a particular value.

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{limit1:limit}{application}{LIMIT} \\ 
\hline
  \symbolrow{limit1:both\_sides}{constant}{} \\ 
\hline
  \symbolrow{limit1:above}{constant}{} \\ 
\hline
  \symbolrow{limit1:below}{constant}{} \\ 
\hline
  \symbolrow{limit1:null}{constant}{} \\ 
\hline
  
\end{tabular}

  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.openmath.org/cd/linalg1.ocd}} 
  
  Operations on Matrices (independent of the matrix representation). 

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{linalg1:vectorproduct}{application}{} \\ 
\hline
  \symbolrow{linalg1:scalarproduct}{application}{} \\ 
\hline
  \symbolrow{linalg1:outerproduct}{application}{} \\ 
\hline
  \symbolrow{linalg1:transpose}{application}{} \\ 
\hline
  \symbolrow{linalg1:determinant}{application}{DETERMINANT} \\ 
\hline
  \symbolrow{linalg1:vector\_selector}{application}{} \\ 
\hline
  \symbolrow{linalg1:matrix\_selector}{application}{} \\ 
\hline
  
\end{tabular}

  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.openmath.org/cd/linalg2.ocd}} 
  
  This CD treats matrices and vectors in a row oriented fashion (using matrixrow's). 

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{linalg2:vector}{application}{} \\ 
\hline
  \symbolrow{linalg2:matrixrow}{application}{} \\ 
\hline
  \symbolrow{linalg2:matrix}{application}{} \\ 
\hline
  
\end{tabular}

  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.openmath.org/cd/list1.ocd}} 
  
  This CD is intended to be `compatible' with MathML list constructs. 

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{list1:map}{application}{} \\ 
\hline
  \symbolrow{list1:suchthat}{application}{} \\ 
\hline
  \symbolrow{list1:list}{application}{} \\ 
\hline
  
\end{tabular}

  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.openmath.org/cd/logic1.ocd}} 
  
  This CD holds the basic logic functions. 

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{logic1:equivalent}{application}{} \\ 
\hline
  \symbolrow{logic1:not}{application}{NOT} \\ 
\hline
  \symbolrow{logic1:and}{application}{AND} \\ 
\hline
  \symbolrow{logic1:xor}{application}{XOR} \\ 
\hline
  \symbolrow{logic1:or}{application}{OR} \\ 
\hline
  \symbolrow{logic1:implies}{application}{} \\ 
\hline
  \symbolrow{logic1:true}{constant}{TRUE} \\ 
\hline
  \symbolrow{logic1:false}{constant}{FALSE} \\ 
\hline
  
\end{tabular}

  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.openmath.org/cd/mathmltypes.ocd}} 
  
  This CD holds symbols denoting various types of numbers, vectors and
  similar constructs. Principally these are required for compatibility
  with MathML.

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{mathmltypes:type}{semantic-attribution}{} \\ 
\hline
  \symbolrow{mathmltypes:integer\_type}{constant}{} \\ 
\hline
  \symbolrow{mathmltypes:real\_type}{constant}{} \\ 
\hline
  \symbolrow{mathmltypes:rational\_type}{constant}{} \\ 
\hline
  \symbolrow{mathmltypes:complex\_cartesian\_type}{constant}{} \\ 
\hline
  \symbolrow{mathmltypes:complex\_polar\_type}{constant}{} \\ 
\hline
  \symbolrow{mathmltypes:constant\_type}{constant}{} \\ 
\hline
  \symbolrow{mathmltypes:vector\_type}{constant}{} \\ 
\hline
  \symbolrow{mathmltypes:list\_type}{constant}{} \\ 
\hline
  \symbolrow{mathmltypes:set\_type}{constant}{} \\ 
\hline
  \symbolrow{mathmltypes:matrix\_type}{constant}{} \\ 
\hline
  \symbolrow{mathmltypes:fn\_type}{constant}{} \\ 
\hline
  
\end{tabular}

  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.openmath.org/cd/minmax1.ocd}} 
  
  This CD holds the definitions of min and max. 

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{minmax1:min}{application}{} \\ 
\hline
  \symbolrow{minmax1:max}{application}{} \\ 
\hline
  
\end{tabular}

  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.openmath.org/cd/multiset1.ocd}} 
  
  This CD defines the set functions and constructors for basic
  multiset theory. It is intended to be `compatible' with the
  corresponding elements in MathML i.e. set operations acting on sets
  of type=multiset.

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{multiset1:size}{application}{} \\ 
\hline
  \symbolrow{multiset1:cartesian\_product}{application}{} \\ 
\hline
  \symbolrow{multiset1:emptyset}{constant}{} \\ 
\hline
  \symbolrow{multiset1:multiset}{application}{} \\ 
\hline
  \symbolrow{multiset1:intersect}{application}{} \\ 
\hline
  \symbolrow{multiset1:union}{application}{} \\ 
\hline
  \symbolrow{multiset1:setdiff}{application}{} \\ 
\hline
  \symbolrow{multiset1:subset}{application}{} \\ 
\hline
  \symbolrow{multiset1:in}{application}{} \\ 
\hline
  \symbolrow{multiset1:notin}{application}{} \\ 
\hline
  \symbolrow{multiset1:prsubset}{application}{} \\ 
\hline
  \symbolrow{multiset1:notsubset}{application}{} \\ 
\hline
  \symbolrow{multiset1:notprsubset}{application}{} \\ 
\hline
  
\end{tabular}

  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.openmath.org/cd/nums1.ocd}} 
  
  This CD is intended to be `compatible' with the MathML view of
  constructors for numbers (integers to an arbitrary base, rationals)
  and symbols for some common numerical constants. This CD holds a set
  of symbols for creating numbers, including some defined constants
  (i.e. nullary constructors).

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{nums1:based\_integer}{application}{} \\ 
\hline
  \symbolrow{nums1:rational}{application}{} \\ 
\hline
  \symbolrow{nums1:infinity}{constant}{} \\ 
\hline
  \symbolrow{nums1:e}{constant}{\%E} \\ 
\hline
  \symbolrow{nums1:i}{constant}{\%I} \\ 
\hline
  \symbolrow{nums1:pi}{constant}{\%PI} \\ 
\hline
  \symbolrow{nums1:gamma}{constant}{\%GAMMA} \\ 
\hline
  \symbolrow{nums1:NaN}{constant}{} \\ 
\hline
  
\end{tabular}

  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.openmath.org/cd/piece1.ocd}} 
  
  This CD is intended to be compatible with the corresponding elements
  in Content MathML 2. In this CD we give a set of operators for
  piece-wise defined expressions.

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{piece1:piecewise}{application}{} \\ 
\hline
  \symbolrow{piece1:piece}{application}{} \\ 
\hline
  \symbolrow{piece1:otherwise}{application}{} \\ 
\hline
  
\end{tabular}

  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.openmath.org/cd/quant1.ocd}} 
  
  This CD holds the definitions of the basic universal ("for all")
  quantifier and existential ("there exists") quantifier. It is
  intended to be `compatible' with the MathML elements representing
  these quantifiers.

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{quant1:forall}{binder}{} \\ 
\hline
  \symbolrow{quant1:exists}{binder}{} \\ 
\hline
  
\end{tabular}

  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.openmath.org/cd/relation1.ocd}} 
  
  This CD holds the common arithmetic relations. It is intended to be
  `compatible' with the appropriate MathML elements.

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{relation1:eq}{application}{} \\ 
\hline
  \symbolrow{relation1:lt}{application}{} \\ 
\hline
  \symbolrow{relation1:gt}{application}{} \\ 
\hline
  \symbolrow{relation1:neq}{application}{} \\ 
\hline
  \symbolrow{relation1:leq}{application}{} \\ 
\hline
  \symbolrow{relation1:geq}{application}{} \\ 
\hline
  \symbolrow{relation1:approx}{application}{} \\ 
\hline
  
\end{tabular}

  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.openmath.org/cd/rounding1.ocd}} 
  
  A CD of basic rounding concepts 

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{rounding1:ceiling}{application}{} \\ 
\hline
  \symbolrow{rounding1:floor}{application}{} \\ 
\hline
  \symbolrow{rounding1:trunc}{application}{?TRUNCATE} \\ 
\hline
  \symbolrow{rounding1:round}{application}{?ROUND} \\ 
\hline
  
\end{tabular}

  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.openmath.org/cd/s\_data1.ocd}} 
  
  This CD holds the definitions of the basic statistical functions
  used on sample data. It is intended to be `compatible' with the
  MathML elements representing statistical functions, though it does
  not cover the concept of random variable which is mentioned in
  MathML.

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{s\_data1:mean}{application}{} \\ 
\hline
  \symbolrow{s\_data1:sdev}{application}{} \\ 
\hline
  \symbolrow{s\_data1:variance}{application}{} \\ 
\hline
  \symbolrow{s\_data1:mode}{application}{} \\ 
\hline
  \symbolrow{s\_data1:median}{application}{} \\ 
\hline
  \symbolrow{s\_data1:moment}{application}{} \\ 
\hline
  
\end{tabular}

  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.openmath.org/cd/s\_dist1.ocd}} 
  
  This CD holds the definitions of the basic statistical functions
  used on random variables. It is intended to be `compatible' with the
  MathML elements representing statistical functions.

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{s\_dist1:mean}{application}{} \\ 
\hline
  \symbolrow{s\_dist1:sdev}{application}{} \\ 
\hline
  \symbolrow{s\_dist1:variance}{application}{} \\ 
\hline
  \symbolrow{s\_dist1:moment}{application}{} \\ 
\hline
  
\end{tabular}

  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.openmath.org/cd/set1.ocd}} 
  
  This CD defines the set functions and constructors for basic set
  theory. It is intended to be `compatible' with the corresponding
  elements in MathML.

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{set1:cartesian\_product}{application}{} \\ 
\hline
  \symbolrow{set1:emptyset}{constant}{} \\ 
\hline
  \symbolrow{set1:map}{application}{} \\ 
\hline
  \symbolrow{set1:size}{application}{} \\ 
\hline
  \symbolrow{set1:suchthat}{application}{} \\ 
\hline
  \symbolrow{set1:set}{application}{} \\ 
\hline
  \symbolrow{set1:intersect}{application}{} \\ 
\hline
  \symbolrow{set1:union}{application}{} \\ 
\hline
  \symbolrow{set1:setdiff}{application}{} \\ 
\hline
  \symbolrow{set1:subset}{application}{} \\ 
\hline
  \symbolrow{set1:in}{application}{} \\ 
\hline
  \symbolrow{set1:notin}{application}{} \\ 
\hline
  \symbolrow{set1:prsubset}{application}{} \\ 
\hline
  \symbolrow{set1:notsubset}{application}{} \\ 
\hline
  \symbolrow{set1:notprsubset}{application}{} \\ 
\hline
  
\end{tabular}

  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.openmath.org/cd/setname1.ocd}} 
  
  This CD defines common sets of mathematics 

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{setname1:P}{constant}{} \\ 
\hline
  \symbolrow{setname1:N}{constant}{} \\ 
\hline
  \symbolrow{setname1:Z}{constant}{} \\ 
\hline
  \symbolrow{setname1:Q}{constant}{} \\ 
\hline
  \symbolrow{setname1:R}{constant}{} \\ 
\hline
  \symbolrow{setname1:C}{constant}{} \\ 
\hline
  
\end{tabular}

  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.openmath.org/cd/transc1.ocd}} 
  
  This CD holds the definitions of many transcendental functions. They
  are defined as in Abromowitz and Stegun (ninth printing on), with
  precise reductions to logs in the case of inverse functions. Note
  that, if signed zeros are supported, some strict inequalities have
  to become weak . It is intended to be `compatible' with the MathML
  elements denoting trancendental functions. Some additional functions
  are in the CD transc2.

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{transc1:log}{application}{} \\ 
\hline
  \symbolrow{transc1:ln}{application}{LOG} \\ 
\hline
  \symbolrow{transc1:exp}{application}{EXP} \\ 
\hline
  \symbolrow{transc1:sin}{application}{SIN} \\ 
\hline
  \symbolrow{transc1:cos}{application}{COS} \\ 
\hline
  \symbolrow{transc1:tan}{application}{TAN} \\ 
\hline
  \symbolrow{transc1:sec}{application}{SEC} \\ 
\hline
  \symbolrow{transc1:csc}{application}{CSC} \\ 
\hline
  \symbolrow{transc1:cot}{application}{COT} \\ 
\hline
  \symbolrow{transc1:sinh}{application}{SINH} \\ 
\hline
  \symbolrow{transc1:cosh}{application}{COSH} \\ 
\hline
  \symbolrow{transc1:tanh}{application}{TANH} \\ 
\hline
  \symbolrow{transc1:sech}{application}{SECH} \\ 
\hline
  \symbolrow{transc1:csch}{application}{CSCH} \\ 
\hline
  \symbolrow{transc1:coth}{application}{COTH} \\ 
\hline
  \symbolrow{transc1:arcsin}{application}{ASIN} \\ 
\hline
  \symbolrow{transc1:arccos}{application}{ACOS} \\ 
\hline
  \symbolrow{transc1:arctan}{application}{ATAN} \\ 
\hline
  \symbolrow{transc1:arcsec}{application}{ASEC} \\ 
\hline
  \symbolrow{transc1:arccsc}{application}{ACSC} \\ 
\hline
  \symbolrow{transc1:arccot}{application}{ACOT} \\ 
\hline
  \symbolrow{transc1:arcsinh}{application}{ASINH} \\ 
\hline
  \symbolrow{transc1:arccosh}{application}{ACOSH} \\ 
\hline
  \symbolrow{transc1:arctanh}{application}{ATANH} \\ 
\hline
  \symbolrow{transc1:arcsech}{application}{ASECH} \\ 
\hline
  \symbolrow{transc1:arccsch}{application}{ACSCH} \\ 
\hline
  \symbolrow{transc1:arccoth}{application}{ACOTH} \\ 
\hline
  
\end{tabular}

  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.openmath.org/cd/veccalc1.ocd}} 
  
  This CD contains symbols to represent functions which are concerned
  with vector calculus.

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{veccalc1:divergence}{application}{} \\ 
\hline
  \symbolrow{veccalc1:grad}{application}{} \\ 
\hline
  \symbolrow{veccalc1:curl}{application}{} \\ 
\hline
  \symbolrow{veccalc1:Laplacian}{application}{} \\ 
\hline
  
\end{tabular}
