2012-07-12 20:23, Asmus Freytag wrote:
U+00B7 MIDDLE DOT * also used as raised decimal point or to denote multiplication, for the latter usage 22C5 · DOT OPERATOR is preferred
Is there evidence of actual use of MIDDLE DOT as decimal point? I mean the use of the Unicode character, rather than PERIOD raised using higher-level protocols.
Even if there is, it would perhaps be a bit odd to mention two usages and make a normative statement on one of them but not the other. I think relevant standards take it for granted that when a decimal point is used, it is FULL STOP, and the Unicode Standard (p. 201) seems to agree:
“In contrast, the various functions of the period, such as its use as sentence-ending punctuation, an abbreviation mark, or a decimal point, are not separately encoded. The specific semantic therefore depends on context.”
Yucca
