Conventions

This document uses the following formatting conventions.