swapped the backwards triangles

2011-10-12 20:45:09 -05:00 · 2011-10-12 20:45:09 -05:00 · 770c2d14f8
commit 770c2d14f8
parent a43973157b
1 changed files with 2 additions and 2 deletions
--- a/collects/mrlib/tex-table.rkt
+++ b/collects/mrlib/tex-table.rkt
@ -113,13 +113,13 @@
    ("otimes" "⊗")
    ("div" "÷")
    ("sqcap" "⊓")
-    ("triangleleft" "▹")
+    ("triangleright" "▹")
    ("oslash" "⊘")
    ("ast" "∗")
    ("sqcup" "⊔")
    ("vee" "∨")
    ("wedge" "∧")
-    ("triangleright" "◃")
+    ("triangleleft" "◃")
    ("odot" "⊙")
    ("star" "★")
    ("dagger" "†")