On Fri, Mar 14, 2014 at 12:41 PM, Nathaniel Smith <njs@pobox.com> wrote:
(And U+2297 CIRCLED TIMES is actually used conventionally to
mean exactly the opposite: elementwise multiplication -- the "Hadamard
product" -- as opposed to matrix multiplication).
It's actually worse: CIRCLED TIMES is commonly used for tensor or outer
product that is opposite to the proposed inner product meaning of vec @ vec.