Bra-ket_notation loading ...