TeX source:
DC_j (j ∈ J)