From 2207df048dad5172c8f76fc43942722e1c4cb817 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Thu, 27 Nov 2008 00:46:25 +0000
Subject: [PATCH] now using the normalized versions of all of these unicode
 thingies

svn: r12605
---
 collects/mrlib/tex-table.ss | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

diff --git a/collects/mrlib/tex-table.ss b/collects/mrlib/tex-table.ss
index 1fefd5994e..ff7062508d 100644
--- a/collects/mrlib/tex-table.ss
+++ b/collects/mrlib/tex-table.ss
@@ -41,7 +41,7 @@
     ;􏰃→ \mapsto
     
     
-    ("aleph" "ℵ")
+    ("aleph" "א")
     ("prime" "′")
     ("emptyset" "∅")
     ("nabla" "∇")
@@ -63,22 +63,22 @@
     ("theta" "θ")
     ("tau" "τ")
     ("beta" "β")
-    ("vartheta" "ϑ")
+    ("vartheta" "θ")
     ("pi" "π")
     ("upsilon" "υ")
     ("gamma" "γ")
-    ("varpi" "ϖ")
+    ("varpi" "π")
     ("phi" "φ")
     ("delta" "δ")
     ("kappa" "κ")
     ("rho" "ρ")
-    ("varphi" "ϕ")
-    ("epsilon" "ϵ")
+    ("varphi" "φ")
+    ("epsilon" "ε")
     ("lambda" "λ")
-    ("varrho" "ϱ")
+    ("varrho" "ρ")
     ("chi" "χ")
     ("varepsilon" "ε")
-    ("mu" "µ")
+    ("mu" "μ")
     ("sigma" "σ")
     ("psi" "ψ")
     ("zeta" "ζ")
@@ -94,7 +94,7 @@
     ("Delta" "∆")
     ("Xi" "Ξ")
     ("Upsilon" "Υ")
-    ("Omega" "Ω")
+    ("Omega" "Ω")
     ("Theta" "Θ")
     ("Pi" "Π")
     ("Phi" "Φ")
@@ -150,7 +150,7 @@
     ("cong" "≌")
     ("sqsubsetb" "⊏")
     ("sqsupsetb" "⊐")
-    ("neq" #;"≠" "≠")
+    ("neq" #;"≠" "≠")
     ("smile" "⌣")
     ("sqsubseteq" "⊑")
     ("sqsupseteq" "⊒")