### 7.2 Formal semantics

This section provides a formal denotational semantics for the primitive
expressions of Scheme and selected built-in procedures. The concepts
and notation used here are described in [Stoy77].

*Note:* The formal semantics section was written in LaTeX which
is incompatible with TeXinfo. See the Formal semantics section:
http://swissnet.ai.mit.edu/~jaffer/r5rs-formal.pdf