From 4c5c4342ef5b66cc504dff2c68d0ffb370b9d22b 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 ...)

original commit: 11969cdfa6188b254383882d73a1c1fe7997ac65
---
 collects/scribble/latex-render.rkt | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/collects/scribble/latex-render.rkt b/collects/scribble/latex-render.rkt
index 511197e1..aeb92524 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