From 8ad66c4b8dff7c52713ea01fb2c5bb599d1b96f8 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Wed, 12 Oct 2011 20:45:09 -0500
Subject: [PATCH] swapped the backwards triangles (cherry picked from commit
 770c2d14f807dfd5b1426b18cf5275167e2fce97)

---
 collects/mrlib/tex-table.rkt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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