Domain d1op2a_: 1op2 A:

Shown in context of the chain.