diff --git a/collects/mrlib/tex-table.rkt b/collects/mrlib/tex-table.rkt
index cead332c..9fde8992 100644
--- 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" "†")