Migrate to init.org

files/init.el

@@ -1,752 +0,0 @@
-;
-;   ___ _ __ ___   __ _  ___ ___
-;  / _ \ '_ ` _ \ / _` |/ __/ __|
-; |  __/ | | | | | (_| | (__\__ \
-;  \___|_| |_| |_|\__,_|\___|___/
-;
-; ~ M. Thomas
-
-(let ((file-name-handler-alist nil))
-
-
-;;;
-;;; PERFORMANCE
-;;;
-
-
-;; Set the gc threshold high initially so the init.el can just be
-;; loaded in one move
-(setq gc-cons-threshold most-positive-fixnum) ; 2^61 bytes
-
-;; Lower the gc threshold again afterwards
-(add-hook 'emacs-startup-hook
-  (lambda ()
-    (setq gc-cons-threshold (* 32 1024 1024))))
-
-;; This is important for e.g. lsp mode
-(setq read-process-output-max (* 3 1024 1024))
-
-;; Disable bidirectional text scanning for a modest performance boost. I've set
-;; this to `nil' in the past, but the `bidi-display-reordering's docs say that
-;; is an undefined state and suggest this to be just as good:
-(setq-default bidi-display-reordering 'left-to-right
-              bidi-paragraph-direction 'left-to-right)
-
-;; Disabling the BPA makes redisplay faster, but might produce incorrect display
-;; reordering of bidirectional text with embedded parentheses and other bracket
-;; characters whose 'paired-bracket' Unicode property is non-nil.
-(setq bidi-inhibit-bpa t)  ; Emacs 27 only
-
-;; Reduce rendering/line scan work for Emacs by not rendering cursors or regions
-;; in non-focused windows.
-(setq-default cursor-in-non-selected-windows nil)
-(setq highlight-nonselected-windows nil)
-
-;; Emacs "updates" its ui more often than it needs to, so slow it down slightly
-(setq idle-update-delay 1.0)  ; default is 0.5
-
-;; Introduced in Emacs HEAD (b2f8c9f), this inhibits fontification while
-;; receiving input, which should help a little with scrolling performance.
-(setq redisplay-skip-fontification-on-input t)
-
-
-;;;
-;;; GENERAL
-;;;
-
-
-(setq make-backup-files nil
-      auto-mode-case-fold nil
-      auto-save-default nil
-      inhibit-startup-screen t
-      tramp-default-method "ssh"
-      initial-major-mode 'fundamental-mode
-      initial-scratch-message nil
-      fast-but-imprecise-scrolling t)
-;      split-height-threshold nil
-;      split-width-threshold 0)
-
-;; Make ESC quit prompts
-(global-set-key (kbd "<escape>") 'keyboard-escape-quit)
-
-;; Soft wrap
-(global-visual-line-mode t)
-
-
-;;;
-;;; PACKAGE MANAGEMENT
-;;;
-
-
-;; straight.el bootstrap
-(setq straight-check-for-modifications 'live)
-(defvar bootstrap-version)
-
-(let ((bootstrap-file
-       (expand-file-name "straight/repos/straight.el/bootstrap.el" user-emacs-directory))
-      (bootstrap-version 5))
-  (unless (file-exists-p bootstrap-file)
-    (with-current-buffer
-        (url-retrieve-synchronously
-         "https://raw.githubusercontent.com/raxod502/straight.el/develop/install.el"
-         'silent 'inhibit-cookies)
-      (goto-char (point-max))
-      (eval-print-last-sexp)))
-  (load bootstrap-file nil 'nomessage))
-
-;; Inhibit package.el load
-(setq package-enable-at-startup nil)
-(straight-use-package 'use-package)
-
-
-;;;
-;;; KEYBIND STUFF
-;;;
-
-
-;; General
-(use-package general
-  :straight t
-  :init
-  ;; Space as leader key
-  (general-create-definer vim-leader-def :prefix "SPC"))
-
-;; Help to find keybindings
-(use-package which-key
-  :straight t
-  :init
-  (which-key-mode)
-  :diminish
-  (which-key-mode)
-  :config
-  (setq which-key-idle-delay 1))
-
-;; Vim bindings
-(use-package evil
-  :straight t
-  :bind
-  (:map evil-motion-state-map
-        ("C-y" . nil))
-  (:map evil-insert-state-map
-        ("C-y" . nil))
-  :init
-  ;; so C-z works for background
-  (setq evil-toggle-key "C-~"
-        evil-want-C-d-scroll t
-        evil-want-C-u-scroll t
-        evil-want-integration t
-        evil-want-keybinding nil)
-  :config
-  (evil-mode))
-
-(use-package evil-collection
-  :straight t
-  :after evil
-  :config
-  (evil-collection-init))
-
-(use-package evil-matchit
-  :straight t
-  :after evil
-  :config
-  (global-evil-matchit-mode 1))
-
-
-;;;
-;;; Appearance
-;;;
-
-
-;; Font
-(set-face-attribute 'default nil :font "JuliaMono" :height 110)
-(set-fontset-font t 'unicode "Noto Color Emoji" nil 'prepend)
-(set-fontset-font t 'unicode "Noto Sans Mono CJK JP" nil 'append)
-
-;; Remove ugly bars
-(menu-bar-mode -1)
-(tool-bar-mode -1)
-(scroll-bar-mode -1)
-
-;; Show matching parenthesis
-(show-paren-mode t)
-(setq show-paren-style 'paranthesis)
-
-;; Relative line numbers
-(setq-default display-line-numbers 'relative
-              display-line-numbers-widen t
-              ;; this is the default
-              display-line-numbers-current-absolute t)
-
-;; Display absolute numbers, when in normal mode
-(defun noct:relative ()
-  (setq-local display-line-numbers 'relative))
-
-(defun noct:absolute ()
-  (setq-local display-line-numbers t))
-
-(add-hook 'evil-insert-state-entry-hook #'noct:absolute)
-(add-hook 'evil-insert-state-exit-hook #'noct:relative)
-
-;; Themes and icons
-(use-package doom-themes
-  :straight (doom-themes :type git :host github :repo "hlissner/emacs-doom-themes"
-                                :fork (:host github :repo "CramMK/emacs-doom-themes"))
-  :config
-  (setq doom-themes-enable-bold t
-        doom-themes-enable-italic t)
-  (load-theme 'doom-ayu-light t)
-  (doom-themes-org-config)
-  (doom-themes-treemacs-config))
-
-;; Cool mode line
-(use-package doom-modeline
-  :straight t
-  :config
-  (doom-modeline-mode 1)
-  (setq doom-modeline-indent-info t
-        doom-modeline-buffer-file-name-style 'file-name))
-
-;; Show color codes as colors inline
-(use-package rainbow-mode
-  :straight t
-  :hook
-  (prog-mode . rainbow-mode))
-
-;; Icons
-(use-package all-the-icons
-  :straight t)
-
-;; NYA NYA NYA NYA NYA NYA NYA NYA NYA NYA NYA NYA NYA NYA NYA NYA
-(use-package nyan-mode
-  :straight t
-  :init
-  (nyan-mode)
-  (nyan-start-animation)
-  ;; (nyan-toggle-wavy-trail)
-  :config
-  (setq nyan-cat-face-number 4))
-
-;; Show whitespace
-(global-whitespace-mode t)
-(setq whitespace-style '(face trailing tabs tab-mark))
-; remove trailing whitespaces on save
-(add-hook 'before-save-hook 'whitespace-cleanup)
-
-;; Column line
-(use-package fill-column-indicator
-  :straight t
-  :defer 1
-  :diminish
-  (fci-mode)
-  :config
-  (setq fci-rule-width 1
-        fci-rule-column 80
-        fci-rule-color "#A6CC70")
-  :hook
-  (prog-mode . fci-mode)
-  (markdown-mode . fci-mode))
-
-
-;;;
-;;; HELPERS
-;;;
-
-
-;; Heuristic indentation
-(use-package dtrt-indent
-  :straight t
-  :hook
-  (prog-mode . dtrt-indent-mode)
-  (text-mode . dtrt-indent-mode)
-  (org-mode . dtrt-indent-mode)
-  (markdown-mode . dtrt-indent-mode))
-
-;; Indentation for C
-;(setq-default c-basic-offset 8)
-
-;; Auto parenthesis
-(use-package electric-pair
-  :config
-  (setq electric-pair-open-newline-between-pairs nil)
-  :hook
-  (prog-mode . electric-pair-mode)
-  (text-mode . electric-pair-mode)
-  (org-mode . electric-pair-mode)
-  (markdown-mode . electric-pair-mode))
-
-;; Spellchecker
-(use-package ispell
-  :straight t
-  :if (executable-find "hunspell")
-  :config
-  (setq ispell-program-name "hunspell"
-        ispell-dictionary "de_DE,en_GB,en_US")
-  (ispell-set-spellchecker-params)
-  (ispell-hunspell-add-multi-dic "de_DE,en_GB,en_US")
-  :hook
-  (org-mode . flyspell-mode)
-  (markdown-mode . flyspell-mode)
-  (text-mode . flyspell-mode))
-
-
-;;;
-;;; IVY
-;;;
-
-
-;; Completetion frontend for counsel
-(use-package ivy
-  :straight t
-  :diminish
-  :bind (("C-s" . swiper) ; TODO: possibly map this to / at some point?
-         :map ivy-minibuffer-map
-         ("TAB" . ivy-alt-done)
-         ("C-l" . ivy-alt-done)
-         ("C-j" . ivy-next-line)
-         ("C-k" . ivy-previous-line)
-         :map ivy-switch-buffer-map
-         ("C-k" . ivy-previous-line)
-         ("C-l" . ivy-done)
-         ("C-d" . ivy-switch-buffer-kill)
-         :map ivy-reverse-i-search-map
-         ("C-k" . ivy-previous-line)
-         ("C-d" . ivy-reverse-i-search-kill))
-  :config
-  (ivy-mode 1))
-
-;; Fancy menus and buffers
-(use-package counsel
-  :straight t
-  :bind (("M-x" . counsel-M-x)
-         ("C-x b" . counsel-ibuffer)
-         ("C-x C-f" . counsel-find-file)
-         ("C-x C-g" . counsel-git)
-         :map minibuffer-local-map
-         ("C-r" . 'counsel-minibuffer-history)))
-
-
-;;;
-;;; ORG
-;;;
-
-
-;; God bless this mode...
-(use-package org
-  :straight t
-  ;; C-c C-t org rotate
-  :general
-  (vim-leader-def 'normal 'global
-    "oci" 'org-clock-in
-    "oco" 'org-clock-out
-    "oa"  'org-agenda
-    "oca" 'org-capture
-    "oes" 'org-edit-src-code
-    "oti" 'org-toggle-inline-images
-    "odi" 'org-display-inline-images)
-  :hook
-  ;; dont make real spaces at the start
-  (org-mode . (lambda () (electric-indent-local-mode -1)))
-  ;; add virtual spaces
-  (org-mode . org-indent-mode)
-  ;; fancy checkboxes
-  (org-mode . prettify-symbols-mode)
-  (org-mode . (lambda ()
-                ;; (push '("[ ]" . "☐") prettify-symbols-alist)
-                ;; (push '("[X]" . "☑" ) prettify-symbols-alist)
-                (push '("[-]" . "❍" ) prettify-symbols-alist)))
-                ;(push '("#+begin_src" . "↦" ) prettify-symbols-alist)
-                ;(push '("#+end_src" . "⇤" ) prettify-symbols-alist)))
-  :config
-  (define-key evil-normal-state-map (kbd "TAB") 'org-cycle)
-  (set-face-attribute 'org-document-title nil :weight 'bold :inherit 'default :height 250)
-  (setq org-format-latex-options (plist-put org-format-latex-options :scale 1.5)
-        org-hidden-keywords '(title)  ; hide title
-        org-startup-with-inline-images t
-        org-image-actual-width nil  ; rescale inline images
-        org-directory "~/org"
-        org-agenda-files (quote ("~/org"))
-        org-ellipsis " ⮷"
-        ;; org-hide-emphasis-markers t  ; hide bold and underline markers
-        org-todo-keywords '((sequence "TODO" "PROGRESS" "REVIEW" "|" "DONE"))
-        org-todo-keyword-faces '(("TODO" . "#cc241d") ("PROGRESS" . "#a6cc70") ("REVIEW" . "#b16286") ("DONE" . "#abb0b6"))
-        org-edit-src-content-indentation 0
-        org-log-done nil  ; just mark DONE without a time stamp
-        org-log-repeat nil
-        org-agenda-start-on-weekday nil  ; my week starts on a monday
-        calendar-week-start-day 1
-        org-capture-templates
-        (quote (("w" "Work" entry (file "~/org/work.org") "* TODO %?\n" :empty-lines-before 1)
-                ("u" "University" entry (file "~/org/uni.org") "* TODO %?\n" :empty-lines-before 1)
-                ("p" "Personal" entry (file "~/org/personal.org") "* TODO %?\n" :empty-lines-before 1)))
-        org-latex-listings 'minted  ; export with code highlighting
-        org-latex-packages-alist '(("" "minted"))
-        org-latex-pdf-process
-        '("pdflatex -shell-escape -interaction nonstopmode -output-directory %o %f"
-          "pdflatex -shell-escape -interaction nonstopmode -output-directory %o %f"
-          "pdflatex -shell-escape -interaction nonstopmode -output-directory %o %f"))
-  (org-babel-do-load-languages 'org-babel-load-languages '((python . t)
-                                                           (shell . t)
-                                                           (haskell . t)
-                                                           (C . t)
-                                                           (dot . t)
-                                                           (R . t))))
-
-;; I dont want \alert to be my bold text in TeX
-(defun mth/beamer-bold (contents backend info)
-  (when (eq backend 'beamer)
-    (replace-regexp-in-string "\\`\\\\[A-Za-z0-9]+" "\\\\textbf" contents)))
-
-;; Custom export settings
-(use-package ox
-  :after org
-  :config
-  (add-to-list 'org-export-filter-bold-functions 'mth/beamer-bold)  ; bold should be bold
-  (add-to-list 'org-latex-logfiles-extensions "tex")
-  (setq org-latex-inputenc-alist '(("utf8" . "utf8x"))  ; export unicode as correct latex
-        org-latex-default-packages-alist (cons '("mathletters" "ucs" nil) org-latex-default-packages-alist)))
-
-;; Fancy bullets for org
-(use-package org-superstar
-  :straight t
-  :after org
-  :hook
-  (org-mode . org-superstar-mode)
-  :config
-  ;; uncomment if slowdown happens
-  ;;(setq inhibit-compacting-font-caches t)
-  ;; base config, as i wont use level 8
-  )
-
-;; Fancy agenda
-(use-package org-super-agenda
-  :straight t
-  :after org
-  :config
-  (setq org-super-agenda-groups
-        '(
-          (:auto-group t)
-          ))
-  (org-super-agenda-mode))
-
-;; Auto latex rendering in org-mode
-(use-package org-fragtog
-  :straight t
-  :hook
-  (org-mode . org-fragtog-mode))
-
-;; Graphs in org
-(use-package graphviz-dot-mode
-  :straight t
-  :hook
-  (graphviz-dot-mode . (lambda () (set-input-method "math")))
-  :config
-  (setq graphviz-dot-indent-width 4))
-
-;; Sagemath for university
-(use-package sage-shell-mode
-  :straight t)
-
-;; Sagemath babel integration
-(use-package ob-sagemath
-  :straight t)
-
-
-;;;
-;;; PROGRAMMING
-;;;
-
-
-;; Git integration
-(use-package magit
-  :straight t
-  :general
-  (vim-leader-def 'normal 'global
-    "gb" 'magit-branch
-    "gc" 'magit-checkout
-    "gc" 'magit-commit
-    "gd" 'magit-diff
-    "gg" 'counsel-git-grep
-    "gi" 'magit-gitignore-in-topdir
-    "gj" 'magit-blame
-    "gl" 'magit-log
-    "gp" 'magit-push
-    "gs" 'magit-status
-    "gu" 'magit-pull))
-
-;; File bar
-(use-package treemacs
-  :straight t
-  :defer t
-  :config
-  (setq treemacs-follow-after-init t
-        treemacs-persist-file (expand-file-name ".cache/treemacs-persist" user-emacs-directory)
-        treemacs-width 50
-        treemacs-project-follow-cleanup t
-        treemacs-tag-follow-cleanup t
-        treemacs-expand-after-init nil
-        treemacs-recenter-after-file-follow t
-        treemacs-recenter-after-tag-follow t
-        treemacs-tag-follow-delay 1)
-  (treemacs-follow-mode t)
-  (treemacs-load-theme "Default")
-  (dolist (face '(treemacs-root-face
-                  treemacs-git-unmodified-face
-                  treemacs-git-modified-face
-                  treemacs-git-renamed-face
-                  treemacs-git-ignored-face
-                  treemacs-git-untracked-face
-                  treemacs-git-added-face
-                  treemacs-git-conflict-face
-                  treemacs-directory-face
-                  treemacs-directory-collapsed-face
-                  treemacs-file-face
-                  treemacs-tags-face))
-    (set-face-attribute face nil :family "JuliaMono" :height 110))
-  :bind
-  (:map global-map
-    ("C-x t t" . treemacs)))
-
-;; C-c C-p -> projectile
-;; C-c C-w -> workspace
-
-(use-package treemacs-evil
-  :after (treemacs evil)
-  :straight t)
-
-(use-package treemacs-magit
-  :after (treemacs magit)
-  :straight t)
-
-;; Highlight TODOs
-(use-package hl-todo
-  :straight t
-  :hook
-  (prog-mode . hl-todo-mode)
-  :config
-  (defface hl-todo-TODO
-    '((t :background "#cc241d" :foreground "#ffffff"))
-    "TODO Face")
-  (setq hl-todo-highlight-punctuation ":"
-        hl-todo-color-background t
-        hl-todo-keyword-faces '(("TODO"  . hl-todo-TODO)
-                                ("XXX"   . hl-todo-TODO)
-                                ("FIXME" . hl-todo-TODO))))
-
-
-;;;
-;;; LSP
-;;;
-
-
-;; Lsp-mode has more features than eglot
-(use-package lsp-mode
-  :straight t
-  :commands (lsp lsp-deferred)
-  :init
-  (setq lsp-keymap-prefix "C-l")
-  :config
-  (lsp-enable-which-key-integration t)
-  (setq lsp-rust-server 'rust-analyzer
-        lsp-auto-guess-root t
-        lsp-idle-delay 1
-        lsp-enable-file-watchers nil)
-  :hook
-  (rust-mode . lsp)
-  (java-mode . lsp)
-  (python-mode . lsp)
-  (haskell-mode . lsp)
-  (c++-mode . lsp))
-
-;; Tags (search e.g. for structs)
-(use-package lsp-ivy
-  :straight t
-  :after lsp-mode
-  :bind(:map lsp-mode-map ("C-l g a" . lsp-ivy-workspace-symbol)))
-
-;; Completion for Lsp
-(use-package company
-  :straight t
-  :hook
-  (lsp-mode . company-mode)
-  (prog-mode . company-mode)
-  (LaTeX-mode . company-mode)
-  (org-mode . company-mode)
-  :custom
-
-  (company-minimum-prefix-length 3)
-  (company-idle-delay 0.5)
-  :bind (:map company-active-map
-              ("C-j" . company-select-next-or-abort) ;; down
-              ("C-k" . company-select-previous-or-abort) ;; up
-              ("C-l" . company-complete-selection))) ;; right, as in complete towards the right
-
-;; Frontend for company
-(use-package company-box
-  :straight t
-  :config
-  (setq company-box-doc-delay 2.0
-        company-box-max-candidates 10)
-  :hook
-  (company-mode . company-box-mode))
-
-;; Project support
-(use-package projectile
-  :straight t
-  :after lsp
-  :config
-  (setq projectile-completion-system 'ivy)
-  (projectile-mode +1))
-
-;; Snippet support
-(defun company-mode/backend-with-yas (backend)
-  (if (and (listp backend) (member 'company-yasnippet backend))
-      backend
-    (append (if (consp backend) backend (list backend))
-            '(:with company-yasnippet))))
-
-(defun company-mode/add-yasnippet ()
-  (setq company-backends (mapcar #'company-mode/backend-with-yas company-backends)))
-
-(use-package yasnippet
-  :straight t
-  :init
-  :bind (:map yas-minor-mode-map
-              ("C-y" . yas-expand))
-  :hook
-  (company-mode . yas-minor-mode)
-  (company-mode . company-mode/add-yasnippet))
-
-;; Actual snippets
-(use-package yasnippet-snippets
-  :straight (yasnippet-snippets :type git :host github :repo "AndreaCrotti/yasnippet-snippets"
-                                :fork (:host github
-                                             :repo "marcothms/yasnippet-snippets"))
-  :after yasnippet)
-
-;; Compilation for lsp
-(use-package flycheck
-  :straight t
-  :after lsp)
-
-;; Rust
-(use-package rust-mode
-  :straight t
-  :hook
-  (rust-mode . prettify-symbols-mode)
-  (rust-mode . (lambda ()
-                 (push '("->" . ?→) prettify-symbols-alist)
-                 (push '("=>" . ?⇒) prettify-symbols-alist)
-                 (push '("!=" . ?≠) prettify-symbols-alist)
-                 (push '("<=" . ?≤) prettify-symbols-alist)
-                 (push '(">=" . ?≥) prettify-symbols-alist))))
-
-;; Haskell
-(use-package haskell-mode
-  :straight t
-  :hook
-  (haskell-mode . interactive-haskell-mode))
-
-(use-package lsp-haskell
-  :straight t
-  :after lsp
-  :hook
-  (haskell-mode . lsp)
-  (haskell-literate-mode . lsp))
-
-;; WebGpuShaderLanguage
-(use-package wgsl-mode
-  :straight (wgsl-mode :type git :host github :repo "marcothms/wgsl-mode")
-  :mode ("\\.wgsl\\'" . wgsl-mode))
-
-;; Java
-(use-package lsp-java
-  :straight t
-  :after lsp
-  :hook
-  (java-mode . prettify-symbols-mode)
-  (java-mode . (lambda ()
-                 (push '("!=" . ?≠) prettify-symbols-alist)
-                 (push '("<=" . ?≤) prettify-symbols-alist)
-                 (push '(">=" . ?≥) prettify-symbols-alist)))
-  :config
-  (setq lsp-java-format-on-type-enabled nil))
-
-
-;;;
-;;; INPUT METHODS
-;;;
-
-
-;; Custom math symbols
-(use-package math-symbol-lists
-  :straight t
-  :config
-  (quail-define-package "math" "UTF-8" "Ω" t)
-  (quail-define-rules
-   ; Equality and order
-   ("<=" ?≤) (">=" ?≥) ("\\prec" ?≺) ("\\preceq" ?≼) ("\\succ" ?≻)
-   ("\\succeq" ?≽)
-   ("/=" ?≠) ("\\neq" ?≠) ("\\=n" ?≠)("\\equiv" ?≡) ("\\nequiv" ?≢)
-   ("\\approx" ?≈) ("\\~~" ?≈) ("\\t=" ?≜) ("\\def=" ?≝)
-
-   ; Set theory
-   ("\\sub" ?⊆) ("\\subset" ?⊂) ("\\subseteq" ?⊆) ("\\in" ?∈)
-   ("\\inn" ?∉) ("\\:" ?∈) ("\\cap" ?∩) ("\\inter" ?∩)
-   ("\\cup" ?∪) ("\\uni" ?∪) ("\\emptyset" ?∅) ("\\empty" ?∅)
-   ("\\times" ?×) ("\\x" ?×)
-
-   ; Number stuff
-   ("\\mid" ?∣) ("\\infty" ?∞) ("\\sqrt" ?√) ("\\Im" ?ℑ) ("\\Re" ?ℜ)
-
-   ; Logic
-   ("\\/" ?∨) ("\\and" ?∧) ("/\\" ?∧) ("\\or" ?∨) ("~" ?¬) ("\neg" ?¬)
-   ("|-" ?⊢) ("|-n" ?⊬) ("\\bot" ?⊥) ("\\top" ?⊤)
-   ("\\r" ?→) ("\\lr" ?↔)
-   ("\\R" ?⇒) ("\\Lr" ?⇔)
-   ("\\qed" ?∎)
-
-   ; Predicate logic
-   ("\\all" ?∀) ("\\ex" ?∃) ("\\exn" ?∄)
-
-   ; functions
-   ("\\to" ?→) ("\\mapsto" ?↦) ("\\circ" ?∘) ("\\comp" ?∘) ("\\integral" ?∫)
-   ("\\fun" ?λ)
-
-   ; Sets of numbers
-   ("\\nat" ?ℕ) ("\\N" ?ℕ) ("\\int" ?ℤ) ("\\Z" ?ℤ) ("\\rat" ?ℚ) ("\\Q" ?ℚ)
-   ("\\real" ?ℝ) ("\\R" ?ℝ) ("\\complex" ?ℂ) ("\\C" ?ℂ) ("\\prime" ?ℙ)
-   ("\\P" ?ℙ)
-
-   ; Complexity
-   ("\\bigo" ?𝒪)
-
-   ; Greek
-   ("\\Ga" ?α) ("\\GA" ?Α) ("\\a" ?α)
-   ("\\Gb" ?β) ("\\GB" ?Β) ("\\b" ?β)
-   ("\\Gg" ?γ) ("\\GG" ?Γ) ("\\g" ?γ) ("\\Gamma" ?Γ)
-   ("\\Gd" ?δ) ("\\GD" ?Δ) ("\\delta" ?δ) ("\\Delta" ?Δ)
-   ("\\Ge" ?ε) ("\\GE" ?Ε) ("\\epsilon" ?ε)
-   ("\\Gz" ?ζ) ("\\GZ" ?Ζ)
-   ("\\Gh" ?η) ("\\Gh" ?Η) ("\\mu" ?μ)
-   ("\\Gth" ?θ) ("\\GTH" ?Θ) ("\\theta" ?θ) ("\\Theta" ?Θ)
-   ("\\Gi" ?ι) ("\\GI" ?Ι) ("\\iota" ?ι)
-   ("\\Gk" ?κ) ("\\GK" ?Κ)
-   ("\\Gl" ?λ) ("\\GL" ?Λ) ("\\lam" ?λ)
-   ("\\Gm" ?μ) ("\\GM" Μ) ("\\mu" ?μ)
-   ("\\Gx" ?ξ) ("\\GX" ?Ξ) ("\\xi" ?ξ) ("\\Xi" ?Ξ)
-   ("\\Gp" ?π) ("\\GP" ?Π) ("\\pi" ?π) ("\\Pi" ?Π)
-   ("\\Gr" ?ρ) ("\\GR" ?Ρ) ("\\rho" ?ρ)
-   ("\\Gs" ?σ) ("\\GS" ?Σ) ("\\sig" ?σ) ("\\Sig" ?Σ)
-   ("\\Gt" ?τ) ("\\GT" ?Τ) ("\\tau" ?τ)
-   ("\\Gph" ?ϕ) ("\\GPH" ?Φ) ("\\phi" ?ϕ) ("\\Phi" ?Φ)
-   ("\\Gc" ?χ) ("\\GC" ?Χ) ("\\chi" ?χ)
-   ("\\Gp" ?ψ) ("\\GP" ?Ψ) ("\\psi" ?ψ)
-   ("\\Go" ?ω) ("\\GO" ?Ω) ("\\omega" ?ω) ("\\Omega" ?Ω)
-  )
-  (mapc (lambda (x)
-          (if (cddr x)
-              (quail-defrule (cadr x) (car (cddr x)))))
-        (append math-symbol-list-superscripts
-                math-symbol-list-subscripts)))
-
-) ;; close performance let