Domain d1teqx_: 1teq X:

Shown in context of the chain.