swapped the backwards triangles

original commit: 770c2d14f807dfd5b1426b18cf5275167e2fce97
2011-10-12 20:45:09 -05:00 · 2011-10-12 20:45:09 -05:00 · 37e2d019e4
commit 37e2d019e4
parent 10137f4760
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" "†")