From 3c6234efd99ee59bcccada713a04ef7ee1a1f05a Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Thu, 16 Jul 2009 01:07:16 +0000
Subject: [PATCH] svn: r15454

---
 collects/mrlib/tex-table.ss | 1 +
 1 file changed, 1 insertion(+)

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" "←")