Should we add `a * b` for vectors?

[Nicholas Wilson]

On Monday, 25 September 2017 at 03:22:01 UTC, user1234 wrote:
> On Monday, 25 September 2017 at 01:08:35 UTC, Nicholas Wilson 
> wrote:
>> There's nothing stopping someone writing a DIP to include `@` 
>> (and possibly `#`) as overloadable binary operators. All other 
>> characters on the standard keyboard are used I think.
>
> ̣̣§

That is not on mine.