(* *)
(**************************************************************************)
-(* GROUND NOTATION **********************************************************)
+(* NOTATION FOR DELAYED UPDATING ********************************************)
-notation "hvbox( 𝗱❨ break term 46 a ❩ )"
- non associative with precedence 75
+notation "hvbox( 𝗱 break term 70 a )"
+ non associative with precedence 70
for @{ 'NodeLabelD $a }.