(* *)
(**************************************************************************)
-(* GENERAL NOTATION USED BY THE FORMAL SYSTEM λδ ****************************)
+(* GROUND NOTATION **********************************************************)
notation "hvbox( l1 @@ break l2 )"
right associative with precedence 47