X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fdama%2Fdama%2Fbishop_set.ma;h=3522a3bb206d93615a489b7317244b846aea45bd;hb=f36588e673e67f0758fdbec52baa515a28fd9a7a;hp=68d213bd45f2981a834b4e8354742a6b0a52263e;hpb=bf7f52019b3f65b6d635a8b49a63f0d95080f189;p=helm.git

diff --git a/helm/software/matita/contribs/dama/dama/bishop_set.ma b/helm/software/matita/contribs/dama/dama/bishop_set.ma
index 68d213bd4..3522a3bb2 100644
--- a/helm/software/matita/contribs/dama/dama/bishop_set.ma
+++ b/helm/software/matita/contribs/dama/dama/bishop_set.ma
@@ -107,5 +107,7 @@ qed.
 
 notation "s 2 \atop \neq" non associative with precedence 90
   for @{ 'square_bs $s }.
-interpretation "bishop set square" 'square x = (square_bishop_set x).
+notation > "s 'squareB'" non associative with precedence 90
+  for @{ 'squareB $s }.
+interpretation "bishop set square" 'squareB x = (square_bishop_set x).
 interpretation "bishop set square" 'square_bs x = (square_bishop_set x).
\ No newline at end of file