some work on duality, still not finisched

[helm.git] / helm / software / matita / contribs / dama / dama / bishop_set.ma

diff --git a/helm/software/matita/contribs/dama/dama/bishop_set.ma b/helm/software/matita/contribs/dama/dama/bishop_set.ma
index 68d213bd45f2981a834b4e8354742a6b0a52263e..3522a3bb206d93615a489b7317244b846aea45bd 100644 (file)
--- 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