Since people have been talking about Unicode characters here, I want to point out once again, as I mentioned in the pitch thread, that the proposal uses the wrong Unicode symbol for multiplication:
I’m sure the proposal author @Ben_Cohen simply missed my comment there, since it was a very lengthy and busy thread full of vibrant discussion, but I do want to make sure everyone is on the same page about Unicode multiplication symbols.
To put it simply, “⨉” (n-ary multiplication) is to “×” (times) as “∑” (n-ary summation) is to “+” (plus).