Domain d2xofa_: 2xof A:

Shown in context of the chain.