diff --git a/collects/framework/private/tex-table.ss b/collects/framework/private/tex-table.ss
index fd2b634619..09de79fb39 100644
--- 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
 #;