]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/dictionary.xml
* added apply method that takes no parameters
[helm.git] / helm / DEVEL / mathml_editor / dictionary.xml
index 664100c6236cbde67ea56378421e0196ff7bc88b..4c7045d48edf00d94f10c1cc16302576e151708e 100644 (file)
   <entry name="underbrace"   pattern="#1" limits="1"/>
   <entry name="cases"        pattern="#1" table="1"/>
 
+  <!-- MACRO for testing  -->
+  <entry name="red"        pattern="{"/>
+  <entry name="green"      pattern="#1\over"/>
+  <entry name="duedelim"   pattern="#1\over\over#2"/>
+
 </dictionary>