diff options
| -rw-r--r-- | isa/x-symbol-isabelle.el | 2 |
1 files changed, 1 insertions, 1 deletions
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>") |