From a0d21c5c08a49fdf85052d8bb6d08cb884cc8f9f Mon Sep 17 00:00:00 2001
From: Casey Klein <clklein@racket-lang.org>
Date: Sat, 11 Dec 2010 01:16:30 -0600
Subject: [PATCH] Revert "Adds support for inserting more arrow characters by
 their LaTex names"

This reverts commit a12491bb89030eda9635e0a1925dd60c8ea6d668, in which
the documentation won't build as PDF.

original commit: f293ace98d41150d8df1b3adc1be1de8d7ad5f13
---
 collects/mrlib/tex-table.rkt | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/collects/mrlib/tex-table.rkt b/collects/mrlib/tex-table.rkt
index 1242bd79..88a021bf 100644
--- a/collects/mrlib/tex-table.rkt
+++ b/collects/mrlib/tex-table.rkt
@@ -28,15 +28,15 @@
     ("leftrightarrow" "↔")
     ("nearrow" "↗")
     ("Updownarrow" "⇕")
-    ("hookleftarrow" "↩")
-    ("hookrightarrow" "↪")
-    ("leadsto""↝")
-    
+   
     ;; arrows that didn't come out right in copy & paste
     ;←− \longleftarrow
     ;⇐= \Longleftarrow 
+    ;← 􏰂 \hookleftarrow
     ;←→ \longleftrightarrow 
+    ;􏰁 → \hookrightarrow
     ;⇐⇒ \Longleftrightarrow
+    ;􏴲 \leadsto∗ 
     ;􏰃−→ \longmapsto
     ;=⇒ \Longrightarrow 
     ;􏰃→ \mapsto