added smiley and frownie

svn: r10447 original commit: 0b35fc740616b42be7f7ae39d78d6f74aed7b772
2008-06-24 22:00:15 +00:00 · 2008-06-24 22:00:15 +00:00 · 036f7a28bc
commit 036f7a28bc
parent 07f7f5777c
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
 #;