diff --git a/collects/framework/private/tex-table.ss b/collects/framework/private/tex-table.ss index 09de79fb39..7df61b2e02 100644 --- a/collects/framework/private/tex-table.ss +++ b/collects/framework/private/tex-table.ss @@ -153,7 +153,12 @@ ("propto" "∝") ("vdash" "⊢") ("dashv" "⊣") - ("skull" "☠"))) + + ("skull" "☠") + ("smiley" "☺") + ("blacksmiley" "☻") + ("frownie" "☹") + )) ;; checks to see if there are duplicates #;