On Thu, Jul 26, 2007 at 09:21:04AM +0200, John Mandereau wrote:
> A related improvement would be adding a command like
> @thinspace to insert a thin unbreakable space.
This should be easy to add. This will make @dmn{} unnecessary, but
whatever. The question is, what should @thinspace produce in HTML and
Info outputs?
As for Info, I guess we can omit the space. This seems ok for
guillemets and abbreviations like `p.123' (page 123). Furthermore,
@dmn{} omits the space, too.
As for HTML, there is a "hair space" ( ), but it seems not to be
widely supported by browsers:
http://en.wikipedia.org/wiki/Space_%28punctuation%29#Space_characters_and_digital_typography
So maybe we should omit it in HTML, too.
Finally, there is a thin space in UNICODE (U+200A). Should we use it
in Info output if encoding is UTF-8?
Best,
Oleg
