\begin{center}\begin{minipage}{15cm}\begin{Verbatim}[frame=single]
> 1+x==1+x;
true
\end{Verbatim}
\end{minipage}\end{center}
