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
