]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/dictionary.xml
Now it's possible to insert and delete control sequence with arguments
[helm.git] / helm / DEVEL / mathml_editor / dictionary.xml
index 023bcdbe16b0cc99717f1515a72b993ae5a65ed7..4c7045d48edf00d94f10c1cc16302576e151708e 100644 (file)
   <entry name="cases"        pattern="#1" table="1"/>
 
   <!-- MACRO for testing  -->
-  <entry name="paolo"        pattern="{"/>
+  <entry name="red"        pattern="{"/>
+  <entry name="green"      pattern="#1\over"/>
+  <entry name="duedelim"   pattern="#1\over\over#2"/>
 
 </dictionary>