* changed handling of ' (\primes) with a few patches in the stylesheets

[helm.git] / helm / DEVEL / mathml_editor / dictionary-tex.xml

diff --git a/helm/DEVEL/mathml_editor/dictionary-tex.xml b/helm/DEVEL/mathml_editor/dictionary-tex.xml
index 4eff38632eeb5a789f1cc80e2886e6bb8a8effbf..fa9785111b59b6f2eacfa44d2030877793645a38 100644 (file)
--- a/helm/DEVEL/mathml_editor/dictionary-tex.xml
+++ b/helm/DEVEL/mathml_editor/dictionary-tex.xml
@@ -201,7 +201,7 @@
   <entry name="longleftarrow"             class="o" val="????;"/>
   <entry name="Longleftarrow"             class="o" val="????"/>
   <entry name="longrightarrow"            class="o" val="????"/>
-  <entry name="Longrightarrow"            class="o" val="????"/>
+  <entry name="Longrightarrow"            class="o" val="&#x21d2;"/>
   <entry name="longleftrightarrow" class="o" val="????"/>
   <entry name="Longleftrightarrow" class="o" val="????"/>
   <entry name="longmapsto"                class="o" val="????"/>