User blog comment:LittlePeng9/Higher order set theory/@comment-2033667-20141016203847

I would like to suggest an alternate symbol for \(O\): \(\mathcal{J}\) (\mathcal{J})