From 18b2932f0764540c5561e9fa525107bbf6ed2cce Mon Sep 17 00:00:00 2001
From: Gergely Polonkai <gergely@polonkai.eu>
Date: Thu, 18 Aug 2022 07:22:06 +0200
Subject: [PATCH] Update the symbol prettifier lists

---
 configuration.org | 27 ++++++++++++++++++---------
 1 file changed, 18 insertions(+), 9 deletions(-)

diff --git a/configuration.org b/configuration.org
index 53697cc..1f0a9b0 100644
--- a/configuration.org
+++ b/configuration.org
@@ -1208,12 +1208,16 @@ And set up all the pretty symbols.
 
 #+BEGIN_SRC emacs-lisp
 (setq prettify-symbols-alist
-      '(("lambda" . 955)    ; λ
-        ("function" . 402)  ; ƒ
-        ("->" . 8594)       ; →
-        ("=>" . 8658)       ; ⇒
-        ("map" . 8614)      ; ↦
-        ("not" . 172)))     ; ¬
+      '(("lambda" . ?λ)
+        ("function" . ?ƒ)
+        ("->" . ?→)
+        ("=>" . ?⇒)
+        ("map" . ?↦)
+        ("not" . ?¬)
+        ("and" . ?∧)
+        ("or" . ?∨)
+        ("<=" . ?≤)
+        (">=" . ?≥)))
 #+END_SRC
 
 …and some pairs to complete
@@ -2792,11 +2796,16 @@ Maybe add ∉ for ~not in~ later, if possible.
 (add-hook 'python-mode-hook
           (lambda ()
             (add-to-list 'prettify-symbols-alist
-                         '("not" . 172))
+                         '("not in" . ?∉))
             (add-to-list 'prettify-symbols-alist
-                         '("in" . 8712))
+                         '("in" . ?∈))
             (add-to-list 'prettify-symbols-alist
-                         '("def" . 402))))
+                         '("def" . ?ƒ))
+            (add-to-list 'prettify-symbols-alist
+                         '("is not" . ?≭))
+            (add-to-list 'prettify-symbols-alist
+                         '("is" . ?≍))
+            ))
 #+END_SRC
 
 ** Pyre-based LSP