(* GENERAL NOTATION USED BY THE FORMAL SYSTEM λδ ****************************)
-notation "hvbox( { term 46 hd1, break term 46 hd2 }; break term 46 tl )"
+notation "hvbox( ❨ term 46 hd1, break term 46 hd2 ❩; break term 46 tl )"
non associative with precedence 47
for @{ 'Semicolon $hd1 $hd2 $tl }.