diff options
| author | Makarius Wenzel | 2001-01-24 19:54:13 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2001-01-24 19:54:13 +0000 |
| commit | b7da2833cac4a0302bda679f699f935f73bf16cb (patch) | |
| tree | 6f3ef93ad8432c5a4a31f04450b704f02f452774 | |
| parent | 2d3c8e6e3975d929a097307b909523d066fcdc36 (diff) | |
renamed \<ll> to \<lless> and \<gg> to \<ggreater>;
| -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>") |