(Emacs)~changed unicode characters for :pretty display
This commit is contained in:
@@ -1599,8 +1599,8 @@ Tons of stuff, namely:
|
||||
("true" . "⊨")
|
||||
("false" . "⊭")
|
||||
("!" . "¬")
|
||||
("&&" . "⋀")
|
||||
("||" . "⋁")
|
||||
("&&" . "∧")
|
||||
("||" . "∨")
|
||||
("for" . "∀")
|
||||
("return" . "⟼"))
|
||||
(c++-mode-hook
|
||||
@@ -1615,8 +1615,8 @@ Tons of stuff, namely:
|
||||
("true" . "⊨")
|
||||
("false" . "⊭")
|
||||
("!" . "¬")
|
||||
("&&" . "⋀")
|
||||
("||" . "⋁")
|
||||
("&&" . "∧")
|
||||
("||" . "∨")
|
||||
("for" . "∀")
|
||||
("return" . "⟼"))
|
||||
:init
|
||||
@@ -1807,8 +1807,8 @@ omnisharp.
|
||||
("true" . "⊨")
|
||||
("false" . "⊭")
|
||||
("!" . "¬")
|
||||
("&&" . "⋀")
|
||||
("||" . "⋁")
|
||||
("&&" . "∧")
|
||||
("||" . "∨")
|
||||
("for" . "∀")
|
||||
("return" . "⟼")))
|
||||
#+end_src
|
||||
@@ -1828,8 +1828,8 @@ features to be fair.
|
||||
("true" . "⊨")
|
||||
("false" . "⊭")
|
||||
("!" . "¬")
|
||||
("&&" . "⋀")
|
||||
("||" . "⋁")
|
||||
("&&" . "∧")
|
||||
("||" . "∨")
|
||||
("for" . "∀")
|
||||
("return" . "⟼"))
|
||||
:config
|
||||
@@ -1917,8 +1917,8 @@ source code blocks.
|
||||
("True" . "⊨")
|
||||
("False" . "⊭")
|
||||
("!" . "¬")
|
||||
("&&" . "⋀")
|
||||
("||" . "⋁")
|
||||
("&&" . "∧")
|
||||
("||" . "∨")
|
||||
("for" . "∀")
|
||||
("print" . "φ")
|
||||
("lambda" . "λ")
|
||||
@@ -2087,15 +2087,15 @@ appropriately.
|
||||
:straight nil
|
||||
:pretty
|
||||
(lisp-mode-hook
|
||||
("lambda" . "λ")
|
||||
("t" . "⊨")
|
||||
("nil" . "Ø")
|
||||
("and" . "⋀")
|
||||
("or" . "⋁")
|
||||
("defun" . "ƒ")
|
||||
("for" . "∀")
|
||||
("mapc" . "∀")
|
||||
("mapcar" . "∀"))
|
||||
("lambda" . "λ")
|
||||
("t" . "⊨")
|
||||
("nil" . "Ø")
|
||||
("and" . "∧")
|
||||
("or" . "∨")
|
||||
("defun" . "ƒ")
|
||||
("for" . "∀")
|
||||
("mapc" . "∀")
|
||||
("mapcar" . "∀"))
|
||||
:general
|
||||
(:states '(normal motion visual)
|
||||
:keymaps '(emacs-lisp-mode-map lisp-mode-map)
|
||||
|
||||
Reference in New Issue
Block a user