now using the normalized versions of all of these unicode thingies

svn: r12605

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