> How do you parse 5d6d7?
> As (5d6)d7 or 5d(6d7) since there is no "Assoziativgesetz" like (AdB)dC
> == Ad(BdC).

All binary operators are left associative, so 5d6d7 is (5d6)d7.