From 0b35fc740616b42be7f7ae39d78d6f74aed7b772 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 24 Jun 2008 22:00:15 +0000 Subject: [PATCH] added smiley and frownie svn: r10447 --- collects/framework/private/tex-table.ss | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) 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 #;