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