add longrightarrow

please merge to release branch
2019-01-14 10:34:54 -06:00 · 2019-01-14 10:34:54 -06:00 · aeda087b67
commit aeda087b67
parent 490bbcc7b3
1 changed files with 1 additions and 0 deletions
--- a/scribble-lib/scribble/latex-render.rkt
+++ b/scribble-lib/scribble/latex-render.rkt
@ -1136,6 +1136,7 @@
                                [(#\↓) "$\\downarrow$"]
                                [(#\⇒) "$\\Rightarrow$"]
                                [(#\→) "$\\rightarrow$"]
+                                [(#\⟶) "$\\longrightarrow$"]
                                [(#\↘) "$\\searrow$"]
                                [(#\↙) "$\\swarrow$"]
                                [(#\←) "$\\leftarrow$"]