In QM textbooks, authors will often jam two kets next to each other and say nothing about the binary operation between them. Other times, it may be called a tensor product, Kronecker product, direct product, or, in Griffith's case, a simple product. I ask the following question in this forum...