On 2021-10-12 09:35, Mark E. Shoulson via Unicode wrote: > Ah, but that is precisely a question Unicode need not answer or worry > about! If the meaning changes, then the meaning changes, and maybe the > name is obsolete. But the character is still a character, and still the > same one! I meant that the shapes are still quite in flux. Regards, Martin.