Re: Too narrowly defined: DIVISION SIGN & COLON

From: Jukka K. Korpela <>
Date: Thu, 12 Jul 2012 21:02:19 +0300

2012-07-12 20:23, Asmus Freytag wrote:

> * 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

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