From 1f20fb6e9e097a2c72039fdff21e7411573503b5 Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Thu, 2 Apr 2015 22:13:01 -0400 Subject: [PATCH] =?UTF-8?q?feat(emacs/lean-input):=20add=20not(=C2=AC)=20a?= =?UTF-8?q?nd=20iff(=E2=86=94)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit close leanprover/tutorial#81 --- src/emacs/lean-input.el | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/src/emacs/lean-input.el b/src/emacs/lean-input.el index f21878b8f..1e0843a34 100644 --- a/src/emacs/lean-input.el +++ b/src/emacs/lean-input.el @@ -194,6 +194,10 @@ order for the change to take effect." (defcustom lean-input-translations (let ((max-lisp-eval-depth 2800)) `( + ;; Negation + + ("not" . ("¬")) + ;; Equality and similar symbols. ("eq" . ,(lean-input-to-string-list "=∼∽≈≋∻∾∿≀≃⋍≂≅ ≌≊≡≣≐≑≒≓≔≕≖≗≘≙≚≛≜≝≞≟≍≎≏≬⋕")) @@ -378,7 +382,7 @@ order for the change to take effect." ("join" . ,(lean-input-to-string-list "⋈⋉⋊⋋⋌⨝⟕⟖⟗")) ;; Arrows. - + ("iff" . ("↔")) ("l" . ,(lean-input-to-string-list "λ←⇐⇚⇇⇆↤⇦↞↼↽⇠⇺↜⇽⟵⟸↚⇍⇷ ↹ ↢↩↫⇋⇜⇤⟻⟽⤆↶↺⟲ ")) ("r" . ,(lean-input-to-string-list "→⇒⇛⇉⇄↦⇨↠⇀⇁⇢⇻↝⇾⟶⟹↛⇏⇸⇶ ↴ ↣↪↬⇌⇝⇥⟼⟾⤇↷↻⟳⇰⇴⟴⟿ ➵➸➙➔➛➜➝➞➟➠➡➢➣➤➧➨➩➪➫➬➭➮➯➱➲➳➺➻➼➽➾⊸")) ("u" . ,(lean-input-to-string-list "↑⇑⟰⇈⇅↥⇧↟↿↾⇡⇞ ↰↱➦ ⇪⇫⇬⇭⇮⇯ "))