diff options
-rw-r--r-- | isa/x-symbol-isabelle.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/isa/x-symbol-isabelle.el b/isa/x-symbol-isabelle.el index eb6facb7..9fe26a94 100644 --- a/isa/x-symbol-isabelle.el +++ b/isa/x-symbol-isabelle.el @@ -407,6 +407,7 @@ See `x-symbol-language-access-alist' for details." (lessless "\\<lless>") (greatergreater "\\<ggreater>") (unionplus "\\<uplus>") + (backslash3 "\\<setminus>") (smile "\\<smile>") (reflexsucc "\\<succeq>") (dashbar "\\<stileturn>") |