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
Received on Thu Jul 12 2012 - 13:03:37 CDT
This archive was generated by hypermail 2.2.0 : Thu Jul 12 2012 - 13:03:37 CDT