@Section
   @Title { Verbatim text }
   @Tag { verbatim }
@Begin
@PP
The @Code "@Verbatim" symbol prints the following object exactly as
it appears in the input file.  All special meanings for characters,
symbols, etc. are turned off; there is one result line for each
input line.  For example,
@ID @Code {
"@IndentedDisplay @Verbatim {"
"A line of \"verbatim\" text"
"Another line, with a \\ character"
"}"
}
has result
@IndentedDisplay lines @Break {
"A line of \"verbatim\" text"
"Another line, with a \\ character"
}
Use @Code "{ Courier Base } @Font @Verbatim { ... }" to get the result
in a fixed-width font.
@PP
The @Code "@Verbatim" symbol relies on the @Code "sed" command, which
exists on Unix systems but not necessarily on others.  To ensure that
this manual can be formatted on any system, the result above was
simulated (i.e. not actually produced by the @Code "@Verbatim" symbol).
@End @Section
