Domain d1ux2j_: 1ux2 J:

Shown in context of the chain.