
  %-------------------------------------------------%
  \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}
