2012/7/11 Mark Davis ☕ <[email protected]>: > I would disagree about the preference for ratio; I think it is a historical > accident in Unicode. > > What people use and have used for ratio is simply a colon. One writes 3:5, > and I doubt that there was a well-established visual difference that > demanded a separate code for it, so someone would need to write 3∶5 instead.
Is that me or I see 3 vertical dots in your last line (instead of 2 vertical dots for the usual colon) ? This unusual sign is certainly NOT the one used to note scales on maps or ratios. We use and see the 2-dots colon almost always. The 3-dots symbol (or punctuation) is clearly distinct, and not an accident. It is very uncommon. It is not a duplicate encoding. May be it is used for noting ratios (I've never seen that) or as asupplementtary mathematical operator, or as a custom separator similar in use to the vertical pipe in some contexts that require several types of separators visually distinct. Did you type the correct character ?
