diff --git a/collects/framework/private/keymap.ss b/collects/framework/private/keymap.ss
index 85b31fcb2b..102885abe5 100644
--- a/collects/framework/private/keymap.ss
+++ b/collects/framework/private/keymap.ss
@@ -7,7 +7,7 @@
          mred/mred-sig
          mzlib/match
          "../preferences.ss"
-         "tex-table.ss"
+         mrlib/tex-table
          "sig.ss")
 
   (import mred^
diff --git a/collects/mrlib/scribblings/mrlib.scrbl b/collects/mrlib/scribblings/mrlib.scrbl
index fa9d797a48..68ada3f937 100644
--- a/collects/mrlib/scribblings/mrlib.scrbl
+++ b/collects/mrlib/scribblings/mrlib.scrbl
@@ -17,6 +17,7 @@
 @include-section["path-dialog.scrbl"]
 @include-section["plot.scrbl"]
 @include-section["switchable-button.scrbl"]
+@include-section["tex-table.scrbl"]
 
 @section{Acknowledgments}
 
diff --git a/collects/framework/private/tex-table.ss b/collects/mrlib/tex-table.ss
similarity index 94%
rename from collects/framework/private/tex-table.ss
rename to collects/mrlib/tex-table.ss
index 7df61b2e02..1fefd5994e 100644
--- a/collects/framework/private/tex-table.ss
+++ b/collects/mrlib/tex-table.ss
@@ -1,5 +1,13 @@
 #lang scheme/base
-(provide tex-shortcut-table)
+(require scheme/contract)
+
+(define (string-len-one? x)
+  (and (string? x)
+       (= 1 (string-length x))))
+  
+(provide/contract
+ [tex-shortcut-table
+  (listof (list/c string? string-len-one?))])
 
 (define tex-shortcut-table
   '(("Downarrow" "⇓")
@@ -142,7 +150,7 @@
     ("cong" "≌")
     ("sqsubsetb" "⊏")
     ("sqsupsetb" "⊐")
-    ("neq" "≠")
+    ("neq" #;"≠" "≠")
     ("smile" "⌣")
     ("sqsubseteq" "⊑")
     ("sqsupseteq" "⊒")