I have a general question, is it possible to design a DSL using Dirac’s bra ket notation? It seems that |> is already used in the language, which corresponds to kets, so I’m not sure what the possibilities are.

For example, could I have something like |0> \tensorProduct |1> , where |0> and |1> parse to 2-dimensional arrays respectively, and the latex symbol for the tensor product be used? I’m new to Julia and wondering if there is a way to achieve this so that it is semantically clean, without using additional symbols.