From c0d42b5c48f91438355fb32b03d21c303d75d231 Mon Sep 17 00:00:00 2001
From: Gergely Polonkai <gergely@polonkai.eu>
Date: Wed, 30 Nov 2016 17:35:24 +0100
Subject: [PATCH] =?UTF-8?q?Add=20=C2=AC=20(not)=20symbol=20to=20prettify-s?=
 =?UTF-8?q?ymbols-alist?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 init.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/init.el b/init.el
index 49a6313..8b403dd 100644
--- a/init.el
+++ b/init.el
@@ -1105,7 +1105,8 @@
       '(("lambda" . 955)  ; λ
         ("->" . 8594)     ; →
         ("=>" . 8658)     ; ⇒
-        ("map" . 8614))   ; ↦
+        ("map" . 8614)    ; ↦
+        ("not" . 172))    ; ¬
 
       ;; …and some pairs to complete
       ;; TODO: maybe add-to-list is a better way to do it