Re: @tieaccent{..} does not display the tie accent in HTML

[Patrice Dumas]

On Fri, Aug 27, 2021 at 12:53:05PM -0700, Per Bothner wrote:
> 
> 
> On 8/27/21 12:35 PM, Patrice Dumas wrote:
> > > Just generate 'oo͡o' and be done with it.
> > > (I would prefer using the hex value - one reason is it's easier to search 
> > > for its meaning.)
> > 
> > For now we use numerical entities everywhere.  If this changes, it
> > should be everywhere too.

I wanted to say decimal numerical entities, indeed.

> Using numerical entities is my recommendation - except for the
> standard XML ones: < &qt; " & '

That's actually not what we do, we use named entities when possible.

> Except for the above list, I'd avoid named entities, as they are not builtin 
> with XML,
> and medium-term I'd like our HTML output to be XML-compatible

I think that the HTML produced with named entities is much more legible,
and probably more portable.  However, having a customization variable to
output only numerical entities would be ok to me, maybe something like

USE_ONLY_NUMERICAL_ENTITY or NO_NAMED_ENTITY to avoid confusion with
USE_NUMERICAL_ENTITY.

> However, when it comes to decimal or hex numerical entities I think
> hex is preferable, as that is much more common for Unicode values.
> I.e. © rather than © for ©.

I have no precise idea on that, but the change should only be done if
needed.

-- 
Pat