\begin{center}\begin{minipage}{15cm}\begin{Verbatim}[frame=single]
> rename(x,y);
Information: the free variable has been renamed from "x" to "y".
> g;
cos(y) - 1
> x=3;
> x;
3
\end{Verbatim}
\end{minipage}\end{center}
