why is GiNaC::symbol commutative??