diff options
| author | Makarius Wenzel | 2000-10-30 17:14:54 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-10-30 17:14:54 +0000 |
| commit | 08283160d1753335bb36df641ca17b218280a235 (patch) | |
| tree | f9d5f1e72ddef1dac0e411caf1043456b60525a0 | |
| parent | e09aad88fb9c92b7e10483e8c44fbf9d45b8a232 (diff) | |
replaced \<macron> by \<inverse> (better than nothing);
| -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>") |