From 08283160d1753335bb36df641ca17b218280a235 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Mon, 30 Oct 2000 17:14:54 +0000
Subject: replaced \<macron> by \<inverse> (better than nothing);

---
 isa/x-symbol-isabelle.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/isa/x-symbol-isabelle.el b/isa/x-symbol-isabelle.el
index c2b0f58d..d76cd190 100644
--- a/isa/x-symbol-isabelle.el
+++ b/isa/x-symbol-isabelle.el
@@ -189,7 +189,7 @@ Return nil if `x-symbol-mode' or `x-symbol-subscripts' is nil.  Uses
     (longarrowdblboth "\\<Longleftrightarrow>")
     (brokenbar "\\<bar>")
     (hyphen "\\<hyphen>")
-    (macron "\\<macron>")
+    (macron "\\<inverse>")
     (exclamdown "\\<exclamdown>")
     (questiondown "\\<questiondown>")
     (guillemotleft "\\<guillemotleft>")
-- 
cgit v1.2.3