(* NOTATION FOR DELAYED UPDATING ********************************************)
-notation "hvbox( ▶[ term 46 f ] break term 70 p )"
+notation "hvbox( ▶[ break term 46 f ] break term 70 p )"
non associative with precedence 70
for @{ 'BlackRightTriangle $f $p }.