Notation for examples.