Bra–ket_notation loading ...