(* NOTATION FOR THE FORMAL SYSTEM α *****************************************)
-notation "hvbox( ⋆ term 90 k . break term 55 T )"
+notation "hvbox( ⋆ term 90 s. break term 55 T )"
non associative with precedence 55
- for @{ 'SnStar $k $T }.
+ for @{ 'SnStar $s $T }.