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