notation "hvbox( ⦃ term 46 h , break term 46 L ⦄ ⊢ break term 46 T ÷ break term 46 A )"
non associative with precedence 45
- for @{ 'BinaryArity $o $L $T $A }.
+ for @{ 'BinaryArity $h $L $T $A }.
notation "hvbox( h ⊢ break term 46 L1 ÷ ⫃ break term 46 L2 )"
non associative with precedence 45
- for @{ 'LRSubEqB $o $L1 $L2 }.
+ for @{ 'LRSubEqB $h $L1 $L2 }.
notation "hvbox( L1 ⊢ ⬌ break term 46 L2 )"
non associative with precedence 45
notation "hvbox( ⦃ term 46 h , break term 46 L ⦄ ⊢ break term 46 T1 : break term 46 T2 )"
non associative with precedence 45
- for @{ 'NativeType $o $L $T1 $T2 }.
+ for @{ 'NativeType $h $L $T1 $T2 }.
notation "hvbox( ⦃ term 46 h , break term 46 L ⦄ ⊢ break term 46 T1 : : break term 46 T2 )"
non associative with precedence 45
- for @{ 'NativeTypeAlt $o $L $T1 $T2 }.
+ for @{ 'NativeTypeAlt $h $L $T1 $T2 }.
notation "hvbox( ⦃ term 46 h , break term 46 L ⦄ ⊢ break term 46 T1 : * break term 46 T2 )"
non associative with precedence 45
- for @{ 'NativeTypeStar $o $L $T1 $T2 }.
+ for @{ 'NativeTypeStar $h $L $T1 $T2 }.