I don't understand what this notation means.