[GiNaC-devel] Symbols do not necessarily commute