svn: r15454

2009-07-16 01:07:16 +00:00 · 2009-07-16 01:07:16 +00:00 · 3c6234efd9
commit 3c6234efd9
parent d6f5ace735
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" "←")