added smiley and frownie

svn: r10447
2008-06-24 22:00:15 +00:00 · 2008-06-24 22:00:15 +00:00 · 0b35fc7406
commit 0b35fc7406
parent 4f880a99c4
1 changed files with 6 additions and 1 deletions
--- 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
 #;