Revert "Adds support for inserting more arrow characters by their LaTex names"

This reverts commit a12491bb89, in which the documentation won't build as PDF.
2010-12-11 01:16:30 -06:00 · 2010-12-11 01:16:30 -06:00 · f293ace98d
commit f293ace98d
parent 965e8f96d1
1 changed files with 4 additions and 4 deletions
--- 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