diff --git a/collects/mrlib/tex-table.ss b/collects/mrlib/tex-table.ss
index ff7062508d..25f15655d1 100644
--- a/collects/mrlib/tex-table.ss
+++ b/collects/mrlib/tex-table.ss
@@ -15,6 +15,7 @@
     ("downarrow" "↓")
     ("Rightarrow" "⇒")
     ("rightarrow" "→")
+    ("mapsto" "↦")
     ("searrow" "↘")
     ("swarrow" "↙")
     ("leftarrow" "←")