[GiNaC-list] symbol equality