Re: [GiNaC-list] extending the symbol