Domain d1x1ta_: 1x1t A:

Shown in context of the chain.