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" "★")