Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/General/symbol.scala
changeset 82122 f67fb2339eeb
parent 82120 a4aa45999dd7 
--- a/src/Pure/General/symbol.scala	Sun Feb 09 12:47:21 2025 +0100
+++ b/src/Pure/General/symbol.scala	Sun Feb 09 12:58:40 2025 +0100
@@ -637,8 +637,8 @@
 
   /* brackets */
 
-  val open_brackets = """([{\<guillemotleft>\<open>\<langle>\<lceil>\<lfloor>\<lparr>\<lbrakk>\<lbrace>\<llangle>"""
-  val close_brackets = """)]}\<guillemotright>\<close>\<rangle>\<rceil>\<rfloor>\<rparr>\<rbrakk>\<rbrace>\<rrangle>"""
+  val open_brackets = """([{\<guillemotleft>\<open>\<langle>\<lceil>\<lfloor>\<lparr>\<lbrakk>\<lbrace>\<llangle>\<lblot>"""
+  val close_brackets = """)]}\<guillemotright>\<close>\<rangle>\<rceil>\<rfloor>\<rparr>\<rbrakk>\<rbrace>\<rrangle>\<rblot>"""
 
   def open_brackets_decoded = symbols.open_brackets_decoded
   def close_brackets_decoded = symbols.close_brackets_decoded
isabelle