From 952af2fa2dc876adddc910bee8dfd63c31e04314 Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@racket-lang.org>
Date: Thu, 26 Apr 2012 10:56:22 -0400
Subject: [PATCH] Add \bot as alias for \perp in DrRacket (both are supported
 in LaTeX).

---
 collects/mrlib/tex-table.rkt | 1 +
 1 file changed, 1 insertion(+)

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