Changing ordered notation