diff --git a/collects/mrlib/tex-table.rkt b/collects/mrlib/tex-table.rkt
index 9fde899291..ed13330f73 100644
--- a/collects/mrlib/tex-table.rkt
+++ b/collects/mrlib/tex-table.rkt
@@ -135,6 +135,7 @@
     ("succ" "≻")
     ("sim" "∼")
     ("perp" "⊥")
+    ("bot" "⊥")
     ("top" "⊤")
     ("preceq" "≼")
     ("succeq" "≽")