(* NOTATION FOR DELAYED UPDATING ********************************************)
notation < "hvbox( ↑❨ term 46 k, break term 46 p, break term 46 f ❩ )"
(* NOTATION FOR DELAYED UPDATING ********************************************)
notation < "hvbox( ↑❨ term 46 k, break term 46 p, break term 46 f ❩ )"