diff options
| author | David Aspinall | 1999-11-15 21:06:17 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-15 21:06:17 +0000 |
| commit | ba033ec8e73b396272b957b35e1bc2b3433a43e6 (patch) | |
| tree | 328cd80cd4ab146fba93afcb6c35e7ceab18c742 /coq | |
| parent | 0a746badd5ff2f5b1f2d6c2f9091416036aa4ba9 (diff) | |
Remove xi, appears in exists.
Diffstat (limited to 'coq')
| -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>") |