On 07/10/2012 04:28 PM, Asmus Freytag wrote:
>
> A nice argument can be made for encoding a *raised* decimal dot (if
> it's not representable by any number of other raised dots already
> encoded). Clearly, in the days of lead typography, a British style
> decimal dot would have been something that was a distinct piece of
> lead from a period. In the end, no such request was made.
I think that is correctly represented by U+00B7 MIDDLE DOT, 3·14159265.
That it's confusable with using it for multiplication is as true on
paper as it is on-screen, and indeed, dot-multiplication is generally
done with some care when it is between numerals for just this reason,
making sure there's proper spacing around it---hence, U+22C5 DOT OPERATOR.
~mark
Received on Tue Jul 10 2012 - 20:34:34 CDT
This archive was generated by hypermail 2.2.0 : Tue Jul 10 2012 - 20:34:35 CDT