add various dots to tex-table and thus drracket keyboard shortcuts

2013-03-12 09:38:28 -05:00 · 2013-03-12 09:38:28 -05:00 · a00bcfd16e
commit a00bcfd16e
parent 6ce8f20801
1 changed files with 10 additions and 3 deletions
--- 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)