From e740e10f1d12c22dc2e1253139aa40e30f2a19fc Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Thu, 13 Dec 2007 15:59:06 +0000
Subject: [PATCH] added two new symbols

svn: r7992
---
 collects/framework/private/tex-table.ss | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/collects/framework/private/tex-table.ss b/collects/framework/private/tex-table.ss
index da32f83ff1..fd2b634619 100644
--- a/collects/framework/private/tex-table.ss
+++ b/collects/framework/private/tex-table.ss
@@ -108,6 +108,8 @@
     ("oslash" "⊘")
     ("ast" "∗")
     ("sqcup" "⊔")
+    ("vee" "∨")
+    ("wedge" "∧")
     ("triangleright" "◃")
     ("odot" "⊙")
     ("star" "★")