Bra–ket notation