\subsection{true}
\label{labtrue}
\noindent Name: \textbf{true}\\
\phantom{aaa}the boolean value representing the truth.\\[0.2cm]
\noindent Library names:\\
\verb|   sollya_obj_t sollya_lib_true()|\\
\verb|   int sollya_lib_is_true(sollya_obj_t)|\\[0.2cm]
\noindent Description: \begin{itemize}

\item \textbf{true} is the usual boolean value.
\end{itemize}
\noindent Example 1: 
\begin{center}\begin{minipage}{15cm}\begin{Verbatim}[frame=single]
> true && false;
false
> 2>1;
true
\end{Verbatim}
\end{minipage}\end{center}
See also: \textbf{false} (\ref{labfalse}), \textbf{$\&\&$} (\ref{laband}), \textbf{$||$} (\ref{labor})
