Go forward to smallexample & smalllisp.
Go backward to noindent.
Go up to Quotations and Examples.
`@lisp'
=======
The `@lisp' command is used for Lisp code. It is synonymous with the
`@example' command.
This is an example of text written between an
`@lisp' command and an `@end lisp' command.
Use `@lisp' instead of `@example' so as to preserve information
regarding the nature of the example. This is useful, for example, if
you write a function that evaluates only and all the Lisp code in a
Texinfo file. Then you can use the Texinfo file as a Lisp library.(1)
(see Lisp Example-Footnotes)
Mark the end of `@lisp' with `@end lisp' on a line by itself.