2.2.3.6. Code and Prose displays

Display constructions for quoting code and prose are provided. [There is no support for mathematics yet.]