From 2a5c3e6ba10f0f572790a2e4698a4a063f09a912 Mon Sep 17 00:00:00 2001 From: Kiana Sheibani Date: Tue, 27 Aug 2024 14:05:12 -0400 Subject: [PATCH] feat(org): add new Org user entities --- config.org | 13 +++++++++---- 1 file changed, 9 insertions(+), 4 deletions(-) diff --git a/config.org b/config.org index c287b2f..32adb43 100644 --- a/config.org +++ b/config.org @@ -2947,10 +2947,15 @@ It's sometimes nice to be able to click a link in an Org file that takes me to o #+begin_src emacs-lisp (after! org - (setq org-pretty-entities t) - (pushnew! org-entities-user - '("top" "\\top" t "⊤" "" "22A4" "⊤") - '("bot" "\\bot" t "⊥" "" "22A5" "⊥"))) + (setq org-pretty-entities t + org-entities-user + '(("top" "\\top" t "⊤" "" "22A4" "⊤") + ("bot" "\\bot" t "⊥" "" "22A5" "⊥") + ("bbN" "\\mathbb{N}" t "" "" "2115" "ℕ") + ("bbZ" "\\mathbb{Z}" t "" "" "2124" "ℤ") + ("bbQ" "\\mathbb{Q}" t "" "" "211A" "ℚ") + ("bbR" "\\mathbb{R}" t "" "" "211D" "ℝ") + ("qed" "\\square" t "" "" "25A0" "■")))) #+end_src *** Modern