From 2fb05f1be76f138b401f2838db1486db72f50dcf Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Wed, 12 Aug 2009 19:42:53 +0000
Subject: [PATCH] svn: r15712

original commit: 3f0b94e58aabdd13c46009409b3e30651aa4d932
---
 collects/mrlib/tex-table.ss | 1 +
 1 file changed, 1 insertion(+)

diff --git a/collects/mrlib/tex-table.ss b/collects/mrlib/tex-table.ss
index 25f15655..8b718e95 100644
--- a/collects/mrlib/tex-table.ss
+++ b/collects/mrlib/tex-table.ss
@@ -135,6 +135,7 @@
     ("succ" "≻")
     ("sim" "∼")
     ("perp" "⊥")
+    ("top" "⊤")
     ("preceq" "≼")
     ("succeq" "≽")
     ("simeq" "≃")