Refactor doom-fix-unicode
This commit is contained in:
parent
c981b7fa5e
commit
2c44b65bc7
5 changed files with 42 additions and 21 deletions
|
@ -152,12 +152,12 @@
|
|||
))
|
||||
|
||||
;; Display certain unicode characters properly
|
||||
(doom-fix-unicode "DejaVu Sans" '(?⟳) 13)
|
||||
(doom-fix-unicode "DejaVu Sans" '(?♭ ?♯))
|
||||
(doom-fix-unicode "Hack" '(?× ?∙ ?÷ ?⌉ ?⌈ ?⌊ ?⌋
|
||||
?∩ ?∪ ?⊆ ?⊂ ?⊄ ?⊇ ?⊃ ?⊅
|
||||
?⇒ ?⇐ ?⇔ ?↔ ?→ ?≡ ?∴ ?∵ ?⊕ ?∀ ?∃ ?∄ ?∈ ?∉
|
||||
?∨ ?∧ ?¬))
|
||||
;; (doom-fix-unicode '("DejaVu Sans" 13)
|
||||
;; ?♭ ?♯ ?⟳
|
||||
;; ?× ?∙ ?÷ ?⌉ ?⌈ ?⌊ ?⌋
|
||||
;; ?∩ ?∪ ?⊆ ?⊂ ?⊄ ?⊇ ?⊃ ?⊅
|
||||
;; ?⇒ ?⇐ ?⇔ ?↔ ?→ ?≡ ?∴ ?∵ ?⊕ ?∀ ?∃ ?∄ ?∈ ?∉
|
||||
;; ?∨ ?∧ ?¬)
|
||||
|
||||
(org-babel-do-load-languages
|
||||
'org-babel-load-languages
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue