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