(* NOTATION FOR DELAYED UPDATING ********************************************)
-notation "hvbox( t1 ➡ 'd' 'f' [ break term 46 p, break term 46 q ] break term 46 t2 )"
+notation "hvbox( t1 ➡'d''f'[ break term 46 p, break term 46 q ] break term 46 t2 )"
non associative with precedence 45
for @{ 'BlackRightArrow $t1 $p $q $t2 }.