Email Record: A mathematical introduction to Dirac's formalism /