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