(* NOTATION FOR DELAYED UPDATING ********************************************)
-notation "hvbox( ⊗ term 60 p )"
- non associative with precedence 60
+notation "hvbox( ⊗ break term 70 p )"
+ non associative with precedence 70
for @{ 'CircledTimes $p }.