  We motivate and explain the system introduced by Conway and Sloane for
working with quadratic forms over the 2-adic integers, and prove its validity.
Their system is far better for actual calculations than earlier methods, and
has been used for many years, but no proof has been published before now.
