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