diff options
| -rw-r--r-- | isa/x-symbol-isabelle.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/isa/x-symbol-isabelle.el b/isa/x-symbol-isabelle.el index 704d6d72..c2b0f58d 100644 --- a/isa/x-symbol-isabelle.el +++ b/isa/x-symbol-isabelle.el @@ -292,8 +292,8 @@ Return nil if `x-symbol-mode' or `x-symbol-subscripts' is nil. Uses (lessapprox "\\<lessapprox>") (greaterapprox "\\<greaterapprox>") (definedas "\\<triangleq>") - (parendblleft "\\<lparr>") - (parendblright "\\<rparr>") + (cataleft "\\<lparr>") + (cataright "\\<rparr>") )) (defvar x-symbol-isabelle-user-table nil) |