Stylistic Conventions
=====================
In the examples, `$' represents a typical shell prompt. It precedes
lines you should type; to make this more clear, those lines are shown
in `this font', as opposed to lines which represent the computer's
response; those lines are shown in `this font', or sometimes `like
this'. When we have lines which are too long to be displayed in any
other way, we will show them like this:
This is an example of a line which would otherwise not fit in this space.