changed bra-ket notation