diff options
-rw-r--r-- | coq/x-symbol-coq.el | 2 | ||||
-rw-r--r-- | lego/x-symbol-lego.el | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/coq/x-symbol-coq.el b/coq/x-symbol-coq.el index f36d2070..a36bf0b5 100644 --- a/coq/x-symbol-coq.el +++ b/coq/x-symbol-coq.el @@ -27,7 +27,7 @@ (lambda () "lambda" "\\<lambda>") ; (mu () "mu" "\\<mu>") ; (nu () "nu" "\\<nu>") - (xi () "xi" "\\<xi>") +; (xi () "xi" "\\<xi>") ; (pi () "pi" "\\<pi>") (rho () "rho" "\\<rho>") (sigma () "sigma" "\\<sigma>") diff --git a/lego/x-symbol-lego.el b/lego/x-symbol-lego.el index 3185923d..1eb11f91 100644 --- a/lego/x-symbol-lego.el +++ b/lego/x-symbol-lego.el @@ -26,7 +26,7 @@ (lambda () "lambda" "\\<lambda>") ; (mu () "mu" "\\<mu>") ; (nu () "nu" "\\<nu>") - (xi () "xi" "\\<xi>") + ; (xi () "xi" "\\<xi>") ; (pi () "pi" "\\<pi>") (rho () "rho" "\\<rho>") (sigma () "sigma" "\\<sigma>") |