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

[Per Bothner]

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.

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

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

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 ©.
--
        --Per Bothner
per@bothner.com   http://per.bothner.com/