Domain d2fx2a_: 2fx2 A:

Shown in context of the chain.