moved the tex-table.ss file somewhere accessible and documented it

svn: r10708

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^

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}
 

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