-notation "hvbox( L ⊢ break 𝐑 [ d , break e ] break ⦃ T ⦄ )"
- non associative with precedence 45
- for @{ 'Reducible $L $d $e $T }.
-
-notation "hvbox( L ⊢ break 𝐈 [ d , break e ] break ⦃ T ⦄ )"
- non associative with precedence 45
- for @{ 'NotReducible $L $d $e $T }.
-
-notation "hvbox( L ⊢ break 𝐍 [ d , break e ] break ⦃ T ⦄ )"
- non associative with precedence 45
- for @{ 'Normal $L $d $e $T }.
-