Document Conventions

Several conventions are used in this document: