This is a new piece of terminology. Here is a word we have chosen to emphasize. This is an alert to the reader! This is a piece of code typeset in a different font.