conditionals using do-notation

The definition of conditionals can be written using do-notation. Bayesian inversions can be also written using arrow notation.

Tags: conditional, Markov category.