Bra ket notation in mathematica tensor product