Have been playing with @quotation, @example, @display, @format, @verbatim and their small versions and found them all useful, particularly the small versions.
However, a small version of @verbatim is not present. It would help to also have @smallverbatim. Regards Christopher