Next: Evaluation—Expansion—Equivalence, Previous: Purpose, Up: Introduction [Contents][Index]
A number of special notational conventions are used throughout this book for the sake of conciseness.