Conventions for this document

We'll use these conventions: