Add unicode longmapsto.
svn: r13695
This commit is contained in:
parent
316f48c8e1
commit
e0e6fcb465
|
@ -363,6 +363,7 @@
|
|||
[(~~>) (curvy-arrow-pict)]
|
||||
[(~>) (short-curvy-arrow-pict)]
|
||||
[(:->) (basic-text "\u21a6" (default-style))]
|
||||
[(:-->) (basic-text "\u27fc" (default-style))]
|
||||
[(c->) (basic-text "\u21aa" (default-style))]
|
||||
[(-->>) (basic-text "\u21a0" (default-style))]
|
||||
[(>--) (basic-text "\u291a" (default-style))]
|
||||
|
|
Loading…
Reference in New Issue
Block a user