src/HOL/HOLCF/Up.thy

--- a/src/HOL/HOLCF/Up.thy	Fri Sep 20 19:07:10 2024 +0200
+++ b/src/HOL/HOLCF/Up.thy	Fri Sep 20 19:51:08 2024 +0200
@@ -14,7 +14,7 @@
 
 subsection \<open>Definition of new type for lifting\<close>
 
-datatype 'a u  ("(_\<^sub>\<bottom>)" [1000] 999) = Ibottom | Iup 'a
+datatype 'a u  (\<open>(_\<^sub>\<bottom>)\<close> [1000] 999) = Ibottom | Iup 'a
 
 primrec Ifup :: "('a \<rightarrow> 'b::pcpo) \<Rightarrow> 'a u \<Rightarrow> 'b"
   where