+ for @{'IInt2 $T $E1 $E2}.
+
+notation "hvbox(《term 90 T》)"
+ non associative with precedence 50
+ for @{'EInt $T}.
+
+notation "hvbox(《term 90 T》 break _ [term 90 E])"
+ non associative with precedence 50
+ for @{'EInt1 $T $E}.
+
+notation "hvbox(《term 90 T》 break _ [term 90 E1 break , term 90 E2])"
+ non associative with precedence 50
+ for @{'EInt2 $T $E1 $E2}.