(* NOTATION FOR THE FORMAL SYSTEM λδ ****************************************)
-notation "hvbox( L . break ⓛ T1 )"
- left associative with precedence 49
+notation "hvbox( L. break ⓛ T1 )"
+ left associative with precedence 51
for @{ 'DxAbst $L $T1 }.