ユニコードの掛け算記号を使う案は、キーボードで入力しづらいので却下だそうですよ

[5 ⨉ Int], the Unicode n-ary times operator. This looks nice but is impactical as not keyboard-accessible.

僕もこの反対理由には同意です