Update the symbol prettifier lists

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