Improved notation for examples.