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" "≃")