Symbols for Quantifiers Other Than $\forall$ and $\exists$

Question

The symbols $\forall$ and $\exists$ denote "for all" and "there exists" quantifiers. In some papers, I saw the (not so common) quantifiers $Я$ and $\exists^+$, denoting "for a randomly chosen element of" and "for most elements in", respectively.

Are there other symbols for quantifiers?

I'm specially interested in quantifiers for:

• for all but finitely many elements of...
• for infinitely many elements of...

---

Edit: After seeing some of the comments, I found the list of logic symbols and the table of mathematical symbols, which I could be useful for others.

Answer 1

The most commonly used symbols to express "for all but finitely many" and "there are infinitely many" are $\forall^\infty$ and $\exists^\infty$, respectively.

Answer 2

Not quite a symbol per se, but of course there is "a.e." ("almost everywhere"): "for all but a set of measure zero". Probabilists call it "a.s." ("almost surely"). They are also in the habit of writing "a.a." ("almost all"): "for all but finitely many" and "i.o." ("infinitely often"): "for infinitely many".

In potential theory, one also sees "q.e." ("quasi-everywhere"): "for all but a set of capacity zero".