(* GENERAL NOTATION USED BY THE FORMAL SYSTEM λδ ****************************)
-notation "hvbox( ð\9d\90\81â\9d´ term 46 l, break term 46 h â\9dµ )"
+notation "hvbox( ð\9d\90\81â\9d¨ term 46 l, break term 46 h â\9d© )"
non associative with precedence 90
for @{ 'Basic $l $h }.