[isabelle-dev] Script characters in words

Tobias Nipkow nipkow at in.tum.de
Wed Mar 6 16:36:29 CET 2024

On 06/03/2024 15:56, Makarius wrote:
> On 06/03/2024 15:01, Lawrence Paulson wrote:
>> Thanks for the explanation. I guess you are saying this is outside of our 
>> control.
> It would mean to submit patches to the jEdit project. I did this for really 
> important things in the past: it does work, but can take a long time.
>> You do have to wonder how they did not introduce the entire script alphabet at 
>> the same time.
> The Unicode committee has always been a bit of a mess. I guess the problem is 
> that US-centric mentality has tried to rule over the world's languages, with 
> limited success.

Introducing script "𝒜" much later than "ℬ" is a typical US-centric ploy.


> In recent years, related to the STIX project, much of the mathematical 
> repertoire from TeX/LaTeX has been added in a post-hoc fashion.
>      Makarius
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4950 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20240306/635d5612/attachment-0001.bin>

More information about the isabelle-dev mailing list