add harpoons

2018-10-31 09:58:51 -05:00 · 2018-10-31 09:58:51 -05:00 · fbeaeef62e
commit fbeaeef62e
parent 150de96b64
1 changed files with 5 additions and 0 deletions
--- a/scribble-lib/scribble/latex-render.rkt
+++ b/scribble-lib/scribble/latex-render.rkt
@ -1150,6 +1150,11 @@
                                [(#\↝) "$\\leadsto$"]
                                [(#\↱) "$\\Lsh$"]
                                [(#\↰) "$\\Rsh$"]
+                                [(#\⇀) "$\\rightharpoonup$"]
+                                [(#\↼) "$\\leftharpoonup$"]
+                                [(#\⇁) "$\\rightharpoondown$"]
+                                [(#\↽) "$\\leftharpoondown$"]
+                                [(#\⇌) "$\\rightleftharpoons$"]
                                [(#\⇕) "$\\Updownarrow$"]
                                [(#\א) "$\\aleph$"]
                                [(#\′) "$\\prime$"]