Corrected notation