(* *)
(**************************************************************************)
-(* GROUND NOTATION **********************************************************)
+(* NOTATION FOR DELAYED UPDATING ********************************************)
notation "hvbox( 𝗱❨ break term 46 a ❩ )"
non associative with precedence 75