Richard Wordingham wrote:
The general feeling seems to be that computers don't do proper decimal
points, and so the raised decimal point is dropping out of use.
Any discussion of whether "computers" handle decimal points properly
can't happen without talking about number-to-string conversion routines
in programming languages and frameworks.
Conversion routines are often able to choose between full stop and comma
as the decimal separator, based on locale, but I'm not aware of any that
will use U+00B7. You have to build a custom locale, which I suspect many
developers will not be likely to do.
The same is true for using U+2212, or even U+2013, as the "negative"
sign instead of U+002D, which looks just terrible for this purpose in
many fonts.
--
Doug Ewell | Thornton, CO, USA
http://ewellic.org | @DougEwell
