Re: GiNaC/doc/tutorial ginac.texi