talk:bra-ket notation