Re: [GiNaC-devel] Non-commutative symbols