(* NOTATION FOR THE FORMAL SYSTEM λδ ****************************************)
-notation "hvbox( L â\8a¢ ð\9d\90\85 * â¦\83 break term 46 T â¦\84 â\89¡ break term 46 f )"
+notation "hvbox( L â\8a¢ ð\9d\90\85 * â¦\83 break term 46 T â¦\84 â\89\98 break term 46 f )"
non associative with precedence 45
for @{ 'FreeStar $L $T $f }.