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.
@FIXME{how often do we use smallexample?}
Go to the first, previous, next, last section, table of contents.