(* NOTATION FOR THE FORMAL SYSTEM λδ ****************************************)
-notation "hvbox( L . break ⓤ { term 46 I } )"
- non associative with precedence 46
+notation "hvbox( L. break ⓤ { term 46 I } )"
+ non associative with precedence 47
for @{ 'DxBind1 $L $I }.