From e1efeb3e7f87c1665a571b4e85936bee15fc6c4f Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Mon, 10 Dec 2007 02:06:37 +0000
Subject: [PATCH] added a few more TeX thingies

svn: r7933

original commit: 9734462994a6593f2e4a7310c1fef8c5a9bdc357
---
 collects/framework/private/keymap.ss | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/collects/framework/private/keymap.ss b/collects/framework/private/keymap.ss
index 545759d6..711c4534 100644
--- 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)])