prefix notation