dice probability notation changed