X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fcore_notation.moo;h=c30e5142c08d6380890a4d6b6e7b955636238542;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=449108cd9f9175d8703e8e99cdf1aa358e6d6f96;hpb=00bba19fcd102e03db20f273740047b77a84be80;p=helm.git

diff --git a/helm/matita/core_notation.moo b/helm/matita/core_notation.moo
index 449108cd9..c30e5142c 100644
--- a/helm/matita/core_notation.moo
+++ b/helm/matita/core_notation.moo
@@ -66,7 +66,7 @@ notation "hvbox(a break * b)"
   left associative with precedence 55
 for @{ 'times $a $b }.
 
-notation "hvbox(a break % b)" 
+notation "hvbox(a break \mod b)" 
   left associative with precedence 55
 for @{ 'module $a $b }.