Today I have observed that when I duplicate a symbol in the same library to obtain a new symbol, despite all changes have been made to the duplicated symbol, the name property remains that of the original symbol. The only workaround is to manually change the name editing the library with a text editor. The library is, of course, a newly created library.