-notation "hvbox( [ d ← break V ] break term 60 T )"
- non associative with precedence 60
- for @{ 'Subst $V $d $T }.
+notation "hvbox( [ term 46 d ⬐ break term 46 V ] break term 46 T )"
+ non associative with precedence 46
+ for @{ 'DSubst $V $d $T }.