non associative with precedence 50
for @{'IInt2 $T $E1 $E2}.
+notation "hvbox(║T║ * break _ [E])"
+ non associative with precedence 50
+ for @{'IIntS1 $T $E}.
+
notation "hvbox(〚T〛)"
non associative with precedence 50
for @{'EInt $T}.
non associative with precedence 50
for @{'XInt2 $T $E1 $E2}.
-notation "hvbox(𝕂{T} break _ [E])"
+notation "hvbox(𝕂{G})"
+ non associative with precedence 50
+ for @{'IK $G}.
+
+notation "hvbox(𝕂{T} break _ [G])"
non associative with precedence 50
- for @{'IK1 $T $E}.
+ for @{'IK $T $G}.