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

original commit: 952af2fa2dc876adddc910bee8dfd63c31e04314
2012-04-26 10:56:22 -04:00 · 2012-04-26 10:56:22 -04:00 · 39ce6d8367
commit 39ce6d8367
parent 8ff1044599
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" "≽")