@display: Examples Using the Text Font ¶
@display command begins another kind of environment, where
the font is left unchanged, not switched to typewriter as with
@example. Each line of input still produces a line of output,
and the output is still indented.
This is an example of text written between a
@displaycommand and an
@end displaycommand. The
@displaycommand indents the text, but does not fill it.