(* GENERAL NOTATION USED BY THE FORMAL SYSTEM λδ ****************************)
-notation "hvbox( f1 â\8a\9a break term 46 f2 â\89¡ break term 46 f )"
+notation "hvbox( f1 â\8a\9a break term 46 f2 â\89\98 break term 46 f )"
non associative with precedence 45
for @{ 'RAfter $f1 $f2 $f }.