Domain d1fx2a_: 1fx2 A:

Shown in context of the chain.