Notational Conventions

This document uses the following conventions: