non associative with precedence 46
for @{ 'Lift $d $e $T }.
-notation "hvbox( [ term 46 d ⬐ break term 46 V ] break term 46 T )"
- non associative with precedence 46
- for @{ 'DSubst $V $d $T }.
-
notation "hvbox( T1 ⇨ break term 46 T2 )"
non associative with precedence 45
for @{ 'SRed $T1 $T2 }.