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