Symbolic Probability Rules