1.7.1 Dirac notation