rename symbol -> def