diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2006-01-05 21:30:31 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2006-01-05 21:30:31 +0000 |
| commit | 1d691953b355bdb4843c69c9ff0a336df235ba9e (patch) | |
| tree | e167d5c5ea31d5ce17b8aa1b789089abd7661836 /isa | |
| parent | 43b9f5f09ad12b7235f0a61dcb8f4ec6559e9e59 (diff) | |
added \<setminus>;
Diffstat (limited to 'isa')
| -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>") |