better symbol name management