[isabelle-dev] Script characters in words

Lawrence Paulson lp15 at cam.ac.uk
Wed Mar 6 13:19:34 CET 2024

I have noticed something unusual, which is true both on Isabelle2023 and in the current version: most script letters seem to be regarded as word characters (as we would expect), but not all of them.

To see this, it is enough to type 

	thm 𝒜_def ℬ_def 𝒞_def 𝒟_def ℰ_def ℱ_def ℛ_def 𝒮_def

and double click on the letter f. It's pretty hard to explain why A should be treated differently from B here, or R from S. 


More information about the isabelle-dev mailing list