Probability Notation Formula