7.7 @display: Examples Using the Text Font

The @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 @display command
and an @end display command.  The @display command
indents the text, but does not fill it.