Re: [GiNaC-list] Non-commutative symbols