should there be an operator for matrix multiplication?

[mppf]

Today in the LinearAlgebra module we write matrix-matrix multiplication with e.g. A.dot(B) or dot(A,B).

However, it would be more math-like if we had an infix operator for this.

It's my understanding that Python uses @ for this and Julia uses * for mat-mat and .* for element-wise.

Should we add an operator for matrix multiplication? If so, what should it be?