unicodesymbols: have several commands for a single symbol?

[Enrico Forestieri]

On Sat, Feb 19, 2022 at 08:47:17AM +0100, Jürgen Spitzmüller wrote:
> 
> Am Samstag, dem 19.02.2022 um 02:43 +0100 schrieb Thibaut Cuvelier:
> > Does it look alright to you? If so, I will push these patches.
> 
> So if an entry has "", this will be set empty, and if it has nothing,
> it will inherit the former, right? And until now, only "" was allowed,
> no missing table entries? I am just asking if I got it right. If so, it
> looks good to me.

I have a doubt about the change in src/Encoding.cpp. The entire map is
scanned for a whole match before performing the usual processing.
This could significantly slow down performance to account for a few
statistically insignificant cases. Maybe an optional parameter could be
added to fromLaTeXCommand() asking explicitly for this pre-check in the
cases where it is really important? Did you check whether the slow down
is actually significant? I have a recollection that fromLaTeXCommand()
was deemed to be already very slow in some cases, perhaps when used for
bibliography processing, but I am not sure.

-- 
Enrico