X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fconfiguration%2Fetc%2Fhelm-dictionary.xml;h=6d1caf72299152c54c3c4928f93f48a4ffb205aa;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=05d1fadd05991e863fe47c451bd383b31e15332c;hpb=8e1a7e55cbc7750446f0a7ab3d071190594243fb;p=helm.git

diff --git a/helm/configuration/etc/helm-dictionary.xml b/helm/configuration/etc/helm-dictionary.xml
index 05d1fadd0..6d1caf722 100644
--- a/helm/configuration/etc/helm-dictionary.xml
+++ b/helm/configuration/etc/helm-dictionary.xml
@@ -27,4 +27,5 @@
 <dictionary>
  <operator name="&Union;" form="infix" stretchy="false" lspace="mediummathspace" rspace="mediummathspace"/>
  <operator name="&Intersection;" form="infix" stretchy="false" lspace="mediummathspace" rspace="mediummathspace"/>
+ <operator name="lim" form="prefix" movablelimits="false"/>
 </dictionary>