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