diff options
| -rw-r--r-- | Emacs/.config/emacs/config.org | 30 |
1 files changed, 15 insertions, 15 deletions
diff --git a/Emacs/.config/emacs/config.org b/Emacs/.config/emacs/config.org index a2dc036..fd00206 100644 --- a/Emacs/.config/emacs/config.org +++ b/Emacs/.config/emacs/config.org @@ -692,21 +692,21 @@ packages can leverage it. Here's a collection of symbols I have currently that may be used later. #+begin_example -("null" . "∅") -("list" . "𝕃") -("string" . "𝕊") -("true" . "𝕋") -("false" . "𝔽") -("char" . "ℂ") -("int" . "ℤ") -("float" . "ℝ") -("bool" . "𝔹") -("!" . "¬") -("&&" . "∧") -("||" . "∨") -("for" . "∀") -("return" . "⟼") -("lambda" . "λ") +("null" . "∅") +("list" . "ℓ") +("string" . "𝕊") +("true" . "⊤") +("false" . "⊥") +("char" . "ℂ") +("int" . "ℤ") +("float" . "ℝ") +("!" . "¬") +("&&" . "∧") +("||" . "∨") +("for" . "∀") +("return" . "⟼") +("print" . "ℙ") +("lambda" . "λ") #+end_example ** Window management Window management is really important. I find the default window |