From f8bd018131b0427b20a0324f86503ccf484d9feb Mon Sep 17 00:00:00 2001
From: Gergely Polonkai <gergely.polonkai@ericsson.com>
Date: Tue, 27 Sep 2016 16:45:50 +0200
Subject: [PATCH] Add some more symbols to prettify-symbols-alist

---
 init.el | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/init.el b/init.el
index 3ce4060..3436a70 100644
--- a/init.el
+++ b/init.el
@@ -405,6 +405,11 @@ Version 2016-02-16"
 ; ⟅⟆ ⦓⦔ ⦕⦖ ⸦⸧ ⸨⸩ ⧘⧙ ⧚⧛; ⸜⸝ ⸌⸍ ⸂⸃ ⸄⸅ ⸉⸊
 ; ᚛᚜ ༺༻ ༼༽
 
+(setq prettify-symbols-alist
+      '(("lambda" . 955)  ; λ
+        ("->" . 8594)     ; →
+        ("=>" . 8658)     ; ⇒
+        ("map" . 8614)))  ; ↦
 (global-prettify-symbols-mode t)
 
 ; Bind webjump to a key. It’s pretty handy