From 16565da8e0f5e3b1f08439a361511c53464a3614 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Tue, 12 Mar 2013 09:38:28 -0500
Subject: [PATCH] add various dots to tex-table and thus drracket keyboard
 shortcuts

original commit: a00bcfd16e0459eba60d8af9d404337fd54cb875
---
 collects/mrlib/tex-table.rkt | 13 ++++++++++---
 1 file changed, 10 insertions(+), 3 deletions(-)

diff --git a/collects/mrlib/tex-table.rkt b/collects/mrlib/tex-table.rkt
index 1471a0fb..e43e2c22 100644
--- a/collects/mrlib/tex-table.rkt
+++ b/collects/mrlib/tex-table.rkt
@@ -182,9 +182,16 @@
     ("S" "§")
 
     ("newpage" "\f")
-
-    ))
-
+    
+    ("vdots" "⋮")
+    ("ddots" "⋱")
+    ("cdots" "⋯")
+    ("hdots" "⋯")
+    ("udots" "⋰")
+    ("downtherefore" "∵")
+    ("uptherefore" "∴")
+    ("vdotdot" "∶")
+    ("squaredots" "∷")))
 
 (module+ test
   (require racket/match)