]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/mathml_editor/dictionary-test.xml
* this is a large commit
[helm.git] / helm / DEVEL / mathml_editor / dictionary-test.xml
1 <?xml version="1.0"?>
2
3 <dictionary name="TeX">
4
5   <include href="dictionary-tex.xml"/>
6
7   <!-- MACRO for testing  -->
8   <entry name="red"        pattern="{"/>
9   <entry name="green"      pattern="#1\over"/>
10   <entry name="duedelim"   pattern="#1\over\over#2"/>
11
12 </dictionary>