svn: r15454

original commit: 3c6234efd99ee59bcccada713a04ef7ee1a1f05a
2009-07-16 01:07:16 +00:00 · 2009-07-16 01:07:16 +00:00 · 1619fa5b0c
commit 1619fa5b0c
parent fec4bd3e8c
1 changed files with 1 additions and 0 deletions
--- a/collects/mrlib/tex-table.ss
+++ b/collects/mrlib/tex-table.ss
@ -15,6 +15,7 @@
    ("downarrow" "↓")
    ("Rightarrow" "⇒")
    ("rightarrow" "→")
+    ("mapsto" "↦")
    ("searrow" "↘")
    ("swarrow" "↙")
    ("leftarrow" "←")