Re: When do you use U+2024 ONE DOT LEADER instead of U+002E FULL STOP?

From: Ben Dougall (bend@freenet.co.uk)
Date: Thu May 29 2003 - 16:47:50 EDT

  • Next message: Anto'nio Martins-Tuva'lkin: "U+1D29"

    On Thursday, May 29, 2003, at 02:13 am, Philippe Verdy wrote:

    >> When do you use U+2024 ONE DOT LEADER instead of U+002E FULL STOP?
    >> Is there a difference of appearance in high quality typesetting?
    >> - Karl
    >
    > There seems to be a difference: leaders are expected to be written in
    > sequences (sometimes long) to create a dotted line. The complete
    > sequence of leaders then seems to be a form of tabulation (sort of
    > whitespacing), and default ignorable, unlike the full stop which is a
    > non ignorable punctuation (or a non ignorable decimal separator).
    >
    > Also the sequence of 3 one-dot leaders is not completely an ellipsis
    > punctuation, because many typesettings include a tiny space after the
    > ellipsis (or after the full dot), this thin space being absent from
    > the isolated leader.

    why is it not categorised as white space then? or is it? doesn't look
    like it is to me, but i'm not sure how to actually find out for sure.



    This archive was generated by hypermail 2.1.5 : Thu May 29 2003 - 17:44:02 EDT