bra-ket_notation