The Conway-Sloane calculus for 2-adic lattices
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.