added \skull

svn: r10216
2008-06-11 12:55:09 +00:00 · 2008-06-11 12:55:09 +00:00 · c90b4a3260
commit c90b4a3260
parent f7b146d8a0
1 changed files with 2 additions and 1 deletions
--- a/collects/framework/private/tex-table.ss
+++ b/collects/framework/private/tex-table.ss
@ -152,7 +152,8 @@
    ("ni" "∋")
    ("propto" "∝")
    ("vdash" "⊢")
-    ("dashv" "⊣")))
+    ("dashv" "⊣")
+    ("skull" "☠")))

 ;; checks to see if there are duplicates
 #;