[prev] [thread] [next] [lurker] [Date index for 2005/10/17]
On Mon, Oct 17, 2005 at 05:45:34PM +0200, Juerd wrote: > Matthew Garrett skribis 2005-10-17 16:44 (+0100): > > U+0027 is sufficiently overloaded with a large number of historical > > meanings that it's preferable to use a more precise Unicode code point > > wherever possible. > > U+2019, having two very different uses, isn't quite more precise. It does at least have the advantage that you know it's going to look curly. -- Matthew Garrett | mjg59@xxxx.xxxx.xxxThere's stuff above here
Generated at 20:00 on 17 Oct 2005 by mariachi 0.52