
  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.openmath.org/cd/fns4.ocd}} 
  
  This CD holds further symbols concerning functions. A particularly interesting symbol is maps_to which extends the usual lambda binder. Another is assign_to which helps to specify (partially) the image of a function on a specific element. 

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{fns4:maps_to}{}{} \\ 
\hline
  \symbolrow{fns4:assign_to}{}{} \\ 
\hline
  
\end{tabular}
