added \skull

svn: r10216 original commit: c90b4a3260fb7218509735ff42b1515ecdd9a185
2008-06-11 12:55:09 +00:00 · 2008-06-11 12:55:09 +00:00 · f3f58a3451
commit f3f58a3451
parent 126e83422e
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
 #;