I'm now convinced of the usefulness of @ and @@ too but I also think that you must think of other uses than only for numpy. In other words, numpy is a the good argument for this new operators, but this can also open new perspectives for other uses.

Speaking of `@@`, would the relative precedence of @ vs * be the same as @@ vs **?