trim the list of new dots down to those that our latex

setup seems to handle (and actually add them to latex-render.rkt ...) original commit: 11969cdfa6188b254383882d73a1c1fe7997ac65
2013-03-13 09:56:31 -05:00 · 2013-03-13 09:56:31 -05:00 · 4c5c4342ef
commit 4c5c4342ef
parent 3dd977cf2f
1 changed files with 4 additions and 0 deletions
--- a/collects/scribble/latex-render.rkt
+++ b/collects/scribble/latex-render.rkt
@ -1014,6 +1014,10 @@
                            [(#\u2079) "$^9$"]
                            [(#\u207a) "$^+$"]
                            [(#\u207b) "$^-$"]
+                            [(#\⋮) "\\vdots"]
+                            [(#\⋱) "$\\ddots$"]
+                            [(#\⋯) "$\\cdots$"]
+                            [(#\⋯) "\\hdots"]
                            [else
                             (cond
                              [(char<=? #\uAC00 c #\uD7AF) ; Korean Hangul