Renaming for (//), (%), and identity