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