diff -r b7929e1dc4fb -r a4aa45999dd7 src/Pure/General/word.scala
--- a/src/Pure/General/word.scala	Sun Feb 09 12:14:09 2025 +0100
+++ b/src/Pure/General/word.scala	Sun Feb 09 12:35:29 2025 +0100
@@ -77,10 +77,4 @@
     explode(Character.isWhitespace _, text)
 
   def informal(text: String): String = implode(explode('_', text))
-
-
-  /* brackets */
-
-  val open_brackets = "([{«‹⟨⌈⌊⦇⟦⦃⟪"
-  val close_brackets = ")]}»›⟩⌉⌋⦈⟧⦄⟫"
 }