(* NOTATION FOR DELAYED UPDATING ********************************************)
-notation "hvbox( ↑[ term 46 t1 ] break term 75 t2 )"
- non associative with precedence 75
+notation "hvbox( ↑[ term 46 t1 ] break term 70 t2 )"
+ non associative with precedence 70
for @{ 'UpArrow $t1 $t2 }.