-notation "hvbox( h ⊢ break ⦃ L1, break T1 ⦄ • ⥸ * break [ g ] break ⦃ L2 , break T2 ⦄ )"
- non associative with precedence 45
- for @{ 'YPRedStar $h $g $L1 $T1 $L2 $T2 }.
-
-notation "hvbox( h ⊢ break ⦃ L1, break T1 ⦄ • ⭃ * break [ g ] break ⦃ L2 , break T2 ⦄ )"
- non associative with precedence 45
- for @{ 'YPRedStepStar $h $g $L1 $T1 $L2 $T2 }.
-