Dirac’s bra-ket