X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcore_notation.moo;h=2ecb35e8be5b738afff7201ccf441199170652e5;hb=5e736134ceab076b4e963d535f380ffa796a5d19;hp=17d5993b10a2a2d7ab0f14b88fa768a18da537d7;hpb=fb8417d61a7c484df744c3222101cd091fc589c6;p=helm.git

diff --git a/helm/software/matita/core_notation.moo b/helm/software/matita/core_notation.moo
index 17d5993b1..2ecb35e8b 100644
--- a/helm/software/matita/core_notation.moo
+++ b/helm/software/matita/core_notation.moo
@@ -119,3 +119,7 @@ for @{ 'and $a $b }.
 notation "hvbox(\lnot a)" 
   non associative with precedence 40
 for @{ 'not $a }.
+
+notation "hvbox(a break => b)" 
+  non associative with precedence 45
+for @{ 'parred $a $b }.