
  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.leactivemath.org/cd/fns4.ocd}} 
  
  Predicates used to describe function properties arising in the exercise suite of LeActiveMath. Will be filled as we proceed in the implementation 

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{fns4:convex}{}{} \\ 
\hline
  \symbolrow{fns4:convex_on}{}{} \\ 
\hline
  \symbolrow{fns4:concave}{}{} \\ 
\hline
  \symbolrow{fns4:concave_on}{}{} \\ 
\hline
  \symbolrow{fns4:constant}{}{} \\ 
\hline
  \symbolrow{fns4:increasing}{}{} \\ 
\hline
  \symbolrow{fns4:increasing_on}{}{} \\ 
\hline
  \symbolrow{fns4:strictly_increasing}{}{} \\ 
\hline
  \symbolrow{fns4:strictly_increasing_on}{}{} \\ 
\hline
  \symbolrow{fns4:decreasing}{}{} \\ 
\hline
  \symbolrow{fns4:decreasing_on}{}{} \\ 
\hline
  \symbolrow{fns4:strictly_decreasing}{}{} \\ 
\hline
  \symbolrow{fns4:strictly_decreasing_on}{}{} \\ 
\hline
  \symbolrow{fns4:monotonic}{}{} \\ 
\hline
  
\end{tabular}
