diff options
| -rw-r--r-- | isa/x-symbol-isabelle.el | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/isa/x-symbol-isabelle.el b/isa/x-symbol-isabelle.el index 0867918d..a14db78c 100644 --- a/isa/x-symbol-isabelle.el +++ b/isa/x-symbol-isabelle.el @@ -266,7 +266,10 @@ (greatersim "\\<greatersim>") (lessapprox "\\<lessapprox>") (greaterapprox "\\<greaterapprox>") - (definedas "\\<triangleq>"))) + (definedas "\\<triangleq>") + (parendblleft "\\<lparr>") + (parendblright "\\<rparr>") + )) (defvar x-symbol-isabelle-user-table nil) |