Conditional Probability Notation