added two new symbols

svn: r7992
2007-12-13 15:59:06 +00:00 · 2007-12-13 15:59:06 +00:00 · e740e10f1d
commit e740e10f1d
parent 65f0d01814
1 changed files with 2 additions and 0 deletions
--- 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" "★")