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

setup seems to handle (and actually add them to latex-render.rkt ...)
2013-03-13 09:56:31 -05:00 · 2013-03-13 09:56:31 -05:00 · 11969cdfa6
commit 11969cdfa6
parent 6914451426
2 changed files with 5 additions and 6 deletions
--- a/collects/mrlib/tex-table.rkt
+++ b/collects/mrlib/tex-table.rkt
@ -186,12 +186,7 @@
    ("vdots" "⋮")
    ("ddots" "⋱")
    ("cdots" "⋯")
-    ("hdots" "⋯")
-    ("udots" "⋰")
-    ("downtherefore" "∵")
-    ("uptherefore" "∴")
-    ("vdotdot" "∶")
-    ("squaredots" "∷")))
+    ("hdots" "⋯")))

 (module+ test
  (require racket/match)
--- 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