Add \bot as alias for \perp in DrRacket (both are supported in LaTeX).

2012-04-26 10:56:22 -04:00 · 2012-04-26 10:56:22 -04:00 · 952af2fa2d
commit 952af2fa2d
parent 83c26eef4b
1 changed files with 1 additions and 0 deletions
--- a/collects/mrlib/tex-table.rkt
+++ b/collects/mrlib/tex-table.rkt
@ -135,6 +135,7 @@
    ("succ" "≻")
    ("sim" "∼")
    ("perp" "⊥")
+    ("bot" "⊥")
    ("top" "⊤")
    ("preceq" "≼")
    ("succeq" "≽")