LaTeX.org

I'm also looking for this functionality. I my case, I want a \forall and \exists operator that looks and behaves like \sum. Though I don't know of any existing litterature using this notation I believe it makes some statements a lot easier to read.

I do not quite understand the

\newcommand*\newop ...