diff options
Diffstat (limited to 'coq/x-symbol-coq.el')
| -rw-r--r-- | coq/x-symbol-coq.el | 2 |
1 files changed, 1 insertions, 1 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>") |