Update dots

files/init.el

@@ -409,6 +409,41 @@
   (haskell-mode . lsp)
   (haskell-literate-mode . lsp))
 
+;; custom
+(use-package math-symbol-lists
+  :ensure t
+  :config
+  (quail-define-package "math" "UTF-8" "Ω" t)
+  (quail-define-rules ; add whatever extra rules you want to define here...
+   ; Equality
+   ("<="        ?≤)
+   (">="        ?≥)
+   ("~="        ?≠)
+   ; Logic
+   ("~"         ?¬)
+   ("->"        ?→)
+   ("=>"        ?⇒)
+   ("<->"       ?↔)
+   ("<=>"       ?⇔)
+   ("/\\"       ?∧)
+   ("\\/"       ?∨)
+   ; Predicate Logic
+   ("ALL"       ?∀)
+   ("EX"        ?∃)
+   ; sets of numbers
+   ("\\nats"    ?ℕ)
+   ("\\ints"    ?ℤ)
+   ("\\rats"    ?ℚ)
+   ("\\reals"   ?ℝ)
+   ("\\complex" ?ℂ)
+   ("\\primes"  ?ℙ)
+   ) 
+  (mapc (lambda (x)
+          (if (cddr x)
+              (quail-defrule (cadr x) (car (cddr x)))))
+        (append math-symbol-list-basic math-symbol-list-extended))
+  )
+
 (custom-set-variables
  ;; custom-set-variables was added by Custom.
  ;; If you edit it by hand, you could mess it up, so be careful.