Re: evaluating numbers

[Eli Zaretskii]

> From: Robert Pluim <address@hidden>
> Cc: address@hidden,  address@hidden,
>   address@hidden,  address@hidden
> Date: Fri, 15 Nov 2019 16:53:11 +0100
> 
>     Eli> What does this yield for codepoints below 32 decimal?
> 
> Hmm, they donʼt have a 'name property?

Nope.  Control characters don't.

> I guess we could do
> 
> (or (get-char-code-property char 'name) (get-char-code-property char 
> 'old-name))

Yes.