During our explorations we will run many small examples designed to illustrate some aspect of the protocol we are examining. When we show interactive input and output, we will use the following conventions:
User input is set in boldface monospaced type.
System output is set in plain monospaced type.
Comments that are not part of the input or output are set in italics:
The name of the system is included in the shell prompt
Some material is set off from the surrounding text.
Footnote-type material and parenthetical remarks are set in smaller type and are indented like this paragraph. Often, this material can be skipped on a first reading.
