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.