notation for marginal composition

Back: conditional composition.