Bug#777643: general: possibly, some keyboard layouts should use U+22C5 DOT OPERATOR instead of U+00B7 MIDDLE DOT
reopen 777643
stop
On Wed, 2015-02-11 at 05:08 +0000, Ben Hutchings wrote:
> This is speculation, not a proper bug report.
And is there any reason to name it "speculation" apart from that being
just your personal opinion without any further arguments for it?
It seems to be quite logical that actually the dot multiplication sign
is meant, it's on the same key then the cross multiplcation sign, and in
the group of arithmetic operators.
Your "argument" that it would be "speculation" is more or less the same
as if you say they group of key mappings ¹²³, which are all next to each
other is like this just by accident and not meant to be.
For the above reasons, and since closing a likely valid bug without any
further discussion is heavily impolite, reopening.
Chris.
Reply to: