renamed symbol