more brackets (see 2e8af171887f);

--- a/src/Pure/General/word.scala	Sat May 23 10:54:04 2020 +0200
+++ b/src/Pure/General/word.scala	Sat May 23 10:58:01 2020 +0200
@@ -82,6 +82,6 @@
 
   /* brackets */
 
-  val open_brackets = "([{«‹⟨⌈⌊⦇⟦⦃"
-  val close_brackets = ")]}»›⟩⌉⌋⦈⟧⦄"
+  val open_brackets = "([{«‹⟨⌈⌊⦇⟦⦃⟪"
+  val close_brackets = ")]}»›⟩⌉⌋⦈⟧⦄⟫"
 }