Re: [GiNaC-list] Declare a noncommutative symbol