Add pretty-symbols-alist support to scala
Closes #2705 Co-authored-by: Ashkan <ashkan.aleali@gmail.com>
This commit is contained in:
parent
912961b46d
commit
fa1743eee8
2 changed files with 32 additions and 1 deletions
|
@ -20,6 +20,7 @@
|
|||
:float "ℝ"
|
||||
:str "𝕊"
|
||||
:bool "𝔹"
|
||||
:list "𝕃"
|
||||
;; Flow
|
||||
:not "¬"
|
||||
:in "∈"
|
||||
|
@ -31,6 +32,9 @@
|
|||
:return "⟼"
|
||||
:yield "⟻"
|
||||
;; Other
|
||||
:union "⋃"
|
||||
:intersect "∩"
|
||||
:diff "∖"
|
||||
:tuple "⨂"
|
||||
:pipe "" ;; FIXME: find a non-private char
|
||||
:dot "•")
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue