(* NOTATION FOR DELAYED UPDATING ********************************************)
notation "hvbox( t1 ➡𝐝𝐟[ break term 46 r ] break term 46 t2 )"
(* NOTATION FOR DELAYED UPDATING ********************************************)
notation "hvbox( t1 ➡𝐝𝐟[ break term 46 r ] break term 46 t2 )"