Add some more symbols to prettify-symbols-alist

2016-09-27 16:45:50 +02:00 · 2016-09-27 16:45:50 +02:00 · f8bd018131
parent 6c576d1e64
commit f8bd018131
1 changed files with 5 additions and 0 deletions
--- 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