
  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.openmath.org/cd/quant1.ocd}} 
  
  This CD holds the definitions of the basic universal ("for all") quantifier and existential ("there exists") quantifier. It is intended to be `compatible' with the MathML elements representing these quantifiers. 

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{quant1:forall}{binder}{} \\ 
\hline
  \symbolrow{quant1:exists}{binder}{} \\ 
\hline
  
\end{tabular}
