added cdot

original commit: 7378c2e42fd199231e553a9c316754c4b3919de7
2011-03-10 09:16:23 -06:00 · 2011-03-10 09:16:23 -06:00 · c9237387fb
commit c9237387fb
parent 88e3498216
1 changed files with 1 additions and 1 deletions
--- 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" "√")