diff options
Diffstat (limited to 'isa/x-symbol-isabelle.el')
-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 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>") |