TeX source:

n (∀ n ∈ N_j , ∀ j ∈ J)