Conditional Probability Notation
Conditional probability is denoted using a vertical bar between the two variables