From f3f58a3451be2f2b7b92a21d3f574cd505aefa97 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Wed, 11 Jun 2008 12:55:09 +0000
Subject: [PATCH] added \skull

svn: r10216

original commit: c90b4a3260fb7218509735ff42b1515ecdd9a185
---
 collects/framework/private/tex-table.ss | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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