[digraph] add arrow for injective fn
This commit is contained in:
parent
513425585a
commit
c9f6d6147a
@ -274,8 +274,11 @@
|
|||||||
((?j ?z) . ?\x292) ; ʒ
|
((?j ?z) . ?\x292) ; ʒ
|
||||||
|
|
||||||
; arrow
|
; arrow
|
||||||
|
; https://en.wikipedia.org/wiki/Arrows_(Unicode_block)
|
||||||
((?= ?^) . ?\x21d1) ; ⇑
|
((?= ?^) . ?\x21d1) ; ⇑
|
||||||
((?= ?v) . ?\x21d3) ; ⇓
|
((?= ?v) . ?\x21d3) ; ⇓
|
||||||
|
((?- ?<) . ?\x21a2) ; ↢
|
||||||
|
((?> ?-) . ?\x21a3) ; ↣
|
||||||
|
|
||||||
; Invisible unicode
|
; Invisible unicode
|
||||||
((?Z ?W) . ?\x200b) ; ZWS: https://en.wikipedia.org/wiki/Zero-width_space
|
((?Z ?W) . ?\x200b) ; ZWS: https://en.wikipedia.org/wiki/Zero-width_space
|
||||||
|
@ -286,8 +286,11 @@ digr jz 658 " ʒ
|
|||||||
" ɜ reversed open e
|
" ɜ reversed open e
|
||||||
|
|
||||||
"" Arrows
|
"" Arrows
|
||||||
|
""" https://en.wikipedia.org/wiki/Arrows_(Unicode_block)
|
||||||
digr =^ 8657 " ⇑
|
digr =^ 8657 " ⇑
|
||||||
digr =v 8659 " ⇓
|
digr =v 8659 " ⇓
|
||||||
|
digr -< 8610 " ↢
|
||||||
|
digr >- 8611 " ↣
|
||||||
|
|
||||||
" Invisible unicode
|
" Invisible unicode
|
||||||
digr ZW 8203 " ZWS: https://en.wikipedia.org/wiki/Zero-width_space
|
digr ZW 8203 " ZWS: https://en.wikipedia.org/wiki/Zero-width_space
|
||||||
|
Loading…
Reference in New Issue
Block a user