(* GROUND NOTATION **********************************************************)
notation "hvbox( 𝐛❨ term 46 d, break term 46 h ❩ )"
(* GROUND NOTATION **********************************************************)
notation "hvbox( 𝐛❨ term 46 d, break term 46 h ❩ )"