Sorry for not noticing this question earlier. It is an extremely good point and an issue that many times can be seen in early versions of sympy contributions. Namely, confusing what an object is (its args mainly) and how it prints. Because of this confusion frequently unnecessary name strings are jammed in the args only for the sake of printing. However in this case isn't it possible to want to have two different objects with the same properties? I guess not... I am very slightly in favor of removing the name.