non associative with precedence 45
for @{ 'Simple $T }.
-notation "hvbox( T1 break [ d , break e ] â\89\88 break T2 )"
+notation "hvbox( T1 break [ d , break e ] â\89¼ break T2 )"
non associative with precedence 45
- for @{ 'Eq $T1 $d $e $T2 }.
+ for @{ 'SubEq $T1 $d $e $T2 }.
(* Substitution *************************************************************)