From 11969cdfa6188b254383882d73a1c1fe7997ac65 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Wed, 13 Mar 2013 09:56:31 -0500
Subject: [PATCH] trim the list of new dots down to those that our latex setup
 seems to handle

(and actually add them to latex-render.rkt ...)
---
 collects/mrlib/tex-table.rkt       | 7 +------
 collects/scribble/latex-render.rkt | 4 ++++
 2 files changed, 5 insertions(+), 6 deletions(-)

diff --git a/collects/mrlib/tex-table.rkt b/collects/mrlib/tex-table.rkt
index e43e2c2247..d777aa9873 100644
--- 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)
diff --git a/collects/scribble/latex-render.rkt b/collects/scribble/latex-render.rkt
index 511197e13a..aeb92524f8 100644
--- 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