From c9237387fb38a8e238e6cacabcc55ac360e8f3a5 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@eecs.northwestern.edu>
Date: Thu, 10 Mar 2011 09:16:23 -0600
Subject: [PATCH] added cdot

original commit: 7378c2e42fd199231e553a9c316754c4b3919de7
---
 collects/mrlib/tex-table.rkt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/collects/mrlib/tex-table.rkt b/collects/mrlib/tex-table.rkt
index 88a021bf..cead332c 100644
--- a/collects/mrlib/tex-table.rkt
+++ b/collects/mrlib/tex-table.rkt
@@ -41,7 +41,6 @@
     ;=⇒ \Longrightarrow 
     ;􏰃→ \mapsto
     
-    
     ("aleph" "א")
     ("prime" "′")
     ("emptyset" "∅")
@@ -164,6 +163,7 @@
     ("propto" "∝")
     ("vdash" "⊢")
     ("dashv" "⊣")
+    ("cdot" "·")
     
     ("sqrt" "√")