diff options
| -rw-r--r-- | isa/x-symbol-isabelle.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/isa/x-symbol-isabelle.el b/isa/x-symbol-isabelle.el index a355e9bf..0867918d 100644 --- a/isa/x-symbol-isabelle.el +++ b/isa/x-symbol-isabelle.el @@ -162,7 +162,7 @@ (longarrowdblright "\\<Longrightarrow>") (longarrowdblleft "\\<Longleftarrow>") (longarrowdblboth "\\<Longleftrightarrow>") - (brokenbar "\\<brokenbar>") + (brokenbar "\\<bar>") (hyphen "\\<hyphen>") (macron "\\<macron>") (exclamdown "\\<exclamdown>") @@ -181,7 +181,7 @@ (ordfeminine "\\<ordfeminine>") (ordmasculine "\\<ordmasculine>") (section "\\<section>") - (pounds "\\<pounds>") + (sterling "\\<pounds>") (yen "\\<yen>") (cent "\\<cent>") (currency "\\<currency>") |