From 461ddb09174263055d124bee24905c49d57d2fdb Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Thu, 21 Sep 2000 16:54:09 +0000
Subject: added Isabelle symbols for parendblleft/parendblright glyphs (will be
   present in X-Symbol-3.3e; should not cause problems with older   versions);

---
 isa/x-symbol-isabelle.el | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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)
 
-- 
cgit v1.2.3