
  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.openmath.org/cd/fns3.ocd}} 
  
  This CD holds further functions concerning functions themselves. A particularly interesting function is function which constructs a function with given domain and range. 

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{fns3:function}{}{} \\ 
\hline
  \symbolrow{fns3:specification}{}{} \\ 
\hline
  
\end{tabular}
