]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/configuration/etc/helm-dictionary.xml
Using autoconf
[helm.git] / helm / configuration / etc / helm-dictionary.xml
diff --git a/helm/configuration/etc/helm-dictionary.xml b/helm/configuration/etc/helm-dictionary.xml
new file mode 100644 (file)
index 0000000..a81bb88
--- /dev/null
@@ -0,0 +1,4 @@
+<dictionary>
+ <operator name="&Union;" form="infix" stretchy="false" lspace="mediummathspace" rspace="mediummathspace"/>
+ <operator name="&Intersection;" form="infix" stretchy="false" lspace="mediummathspace" rspace="mediummathspace"/>
+</dictionary>