[isabelle-dev] Script characters in words

[Lawrence Paulson]

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. 

Larry