From b7da2833cac4a0302bda679f699f935f73bf16cb Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Wed, 24 Jan 2001 19:54:13 +0000
Subject: renamed \<ll> to \<lless> and \<gg> to \<ggreater>;

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

diff --git a/isa/x-symbol-isabelle.el b/isa/x-symbol-isabelle.el
index 5d91f796..c81721b9 100644
--- a/isa/x-symbol-isabelle.el
+++ b/isa/x-symbol-isabelle.el
@@ -273,8 +273,8 @@ Return nil if `x-symbol-mode' or `x-symbol-subscripts' is nil.  Uses
     (reflexsuperset "\\<supseteq>")
     (propersqsuperset "\\<sqsupset>")
     (reflexsqsuperset "\\<sqsupseteq>")
-    (lessless "\\<ll>")
-    (greatergreater "\\<gg>")
+    (lessless "\\<lless>")
+    (greatergreater "\\<ggreater>")
     (unionplus "\\<uplus>")
     (smile "\\<smile>")
     (reflexsucc "\\<succeq>")
-- 
cgit v1.2.3