We develop the notational system developed 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 it seems that no proof has been published before now. Throughout, an integer means an element of the ring Z2 of 2-adic integers, and we wri...