added a few more TeX thingies

svn: r7933
2007-12-10 02:06:37 +00:00 · 2007-12-10 02:06:37 +00:00 · 9734462994
commit 9734462994
parent d8c75d95d1
1 changed files with 7 additions and 1 deletions
--- a/collects/framework/private/keymap.ss
+++ b/collects/framework/private/keymap.ss
@ -961,7 +961,13 @@
                      ("leftarrow" "\u2190")
                      ("rightarrow" "\u2192")
                      ("Leftarrow" "\u21d0")
-                      ("Rightarrow" "\u21d2"))]
+                      ("Rightarrow" "\u21d2")
+                      ("wedge" "\u2227")
+                      ("vee" "\u2227")
+                      ("circ" "\u2218")
+                      ("models" "\u22a8")
+                      ("vdash" "\u22a2")
+                      ("dashv" "\u22a3"))]
                   [biggest (apply max (map (λ (x) (string-length (car x))) shortcut-table))])
              (λ (text event)
                (let ([pos (send text get-start-position)])