Symbols
List of symbols/abbreviations.
Editorial Comment:
Needs to be completed (or possibly eliminated).