dirac notation properties