svn: r15712

2009-08-12 19:42:53 +00:00 · 2009-08-12 19:42:53 +00:00 · 3f0b94e58a
commit 3f0b94e58a
parent 5ff1429b6d
1 changed files with 1 additions and 0 deletions
--- a/collects/mrlib/tex-table.ss
+++ b/collects/mrlib/tex-table.ss
@ -135,6 +135,7 @@
    ("succ" "≻")
    ("sim" "∼")
    ("perp" "⊥")
+    ("top" "⊤")
    ("preceq" "≼")
    ("succeq" "≽")
    ("simeq" "≃")