]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/dict/dictionary-tex.xml
ocaml 3.09 transition
[helm.git] / helm / DEVEL / mathml_editor / dict / dictionary-tex.xml
index c945d4e6825a566d7d02569facd7b71d7ac0d059..47995454fb9d19fd4e148e1d3e8d96555033bd5a 100644 (file)
   <entry name="notin"          class="o" val="&#x2209;"/>
   <entry name="dashv"          class="o" val="&#x22a3;"/>
   <entry name="mid"            class="o" val="&#x2223;"/>
-  <entry name="parallet"       class="o" val="????;"/>
+  <entry name="parallet"       class="o" val="????"/>
   <entry name="equiv"          class="o" val="&#x2261;"/>
   <entry name="sim"            class="o" val="&#x223c;"/>
   <entry name="simeq"          class="o" val="&#x2243;"/>