P(X=xi)
which is abbreviated to P(xi) when there is no possibility of confusion about which event is meant. Similar notation uses |X=xi| for the number of times xi occurs during a collection of trials. The probability of an outcome is defined to be the limit of the ratio between the number of times the outcome occurs and the number of trials attempted. Our sketchy formal definition of probability is: