Re: support figure space (U+2007)

[Patrice Dumas]

On Sun, Jan 02, 2022 at 08:20:18AM +0000, Werner LEMBERG wrote:
> 
> The nice thing is that it would work out of the box with HTML
> browsers, too.  On the other hand, maybe there could be some further
> massaging to convert U+2007 to an ordinary space entity together with
> some formatting CSS so that cut-and-paste don't contain U+2007.

I think that we should simply leave the unicode character or entity as
is in HTML and let bowsers and users handle it.

In Info it could be different, we could want to do something, but I do
not think that we should really go down that road as it could add a lot
of complexity if there are many of those special characters, and also it
does not fit very well in the spirit of texinfo which is semantic at the
command level, not at the character level.

-- 
Pat