add some missing symbols to latex generation

2017-07-02 23:59:23 -05:00 · 2017-07-02 23:59:23 -05:00 · ee8f881153
commit ee8f881153
parent 5525db3c5e
1 changed files with 4 additions and 0 deletions
--- a/scribble-lib/scribble/latex-render.rkt
+++ b/scribble-lib/scribble/latex-render.rkt
@ -1085,6 +1085,9 @@
                                [(#\↕) "$\\updownarrow$"]
                                [(#\↔) "$\\leftrightarrow$"]
                                [(#\↗) "$\\nearrow$"]
+                                [(#\↝) "$\\leadsto$"]
+                                [(#\↱) "$\\Lsh$"]
+                                [(#\↰) "$\\Rsh$"]
                                [(#\⇕) "$\\Updownarrow$"]
                                [(#\א) "$\\aleph$"]
                                [(#\′) "$\\prime$"]
@ -1159,6 +1162,7 @@
                                [(#\∨) "$\\vee$"]
                                [(#\∧) "$\\wedge$"]
                                [(#\◃) "$\\triangleright$"]
+                                [(#\◊) "$\\Diamond$"]
                                [(#\⊙) "$\\odot$"]
                                [(#\★) "$\\star$"]
                                [(#\†) "$\\dagger$"]